Use ID_C

peterschrammel · Daniel Kroening · commit 403f1e492096 · 2017-08-15T17:14:12.000+01:00
diff --git a/src/ansi-c/c_typecheck_base.h b/src/ansi-c/c_typecheck_base.h
@@ -35,7 +35,10 @@ class c_typecheck_baset:
     namespacet(_symbol_table),
     symbol_table(_symbol_table),
     module(_module),
-    mode("C")
+    mode(ID_C),
+    break_is_allowed(false),
+    continue_is_allowed(false),
+    case_is_allowed(false)
   {
   }
 
@@ -48,7 +51,10 @@ class c_typecheck_baset:
     namespacet(_symbol_table1, _symbol_table2),
     symbol_table(_symbol_table1),
     module(_module),
-    mode("C")
+    mode(ID_C),
+    break_is_allowed(false),
+    continue_is_allowed(false),
+    case_is_allowed(false)
   {
   }
 

Original file line number	Diff line number	Diff line change
`@@ -35,7 +35,10 @@ class c_typecheck_baset:`
`35`	`35`	`namespacet(_symbol_table),`
`36`	`36`	`symbol_table(_symbol_table),`
`37`	`37`	`module(_module),`
`38`		`- mode("C")`
	`38`	`+ mode(ID_C),`
	`39`	`+ break_is_allowed(false),`
	`40`	`+ continue_is_allowed(false),`
	`41`	`+ case_is_allowed(false)`
`39`	`42`	`{`
`40`	`43`	`}`
`41`	`44`
`@@ -48,7 +51,10 @@ class c_typecheck_baset:`
`48`	`51`	`namespacet(_symbol_table1, _symbol_table2),`
`49`	`52`	`symbol_table(_symbol_table1),`
`50`	`53`	`module(_module),`
`51`		`- mode("C")`
	`54`	`+ mode(ID_C),`
	`55`	`+ break_is_allowed(false),`
	`56`	`+ continue_is_allowed(false),`
	`57`	`+ case_is_allowed(false)`
`52`	`58`	`{`
`53`	`59`	`}`
`54`	`60`