Ensure the gcc_builtin_va_arg symbol has a mode

chrisr-diffblue · chrisr-diffblue · commit 21300739f660 · 2019-01-28T15:07:57.000Z
diff --git a/src/ansi-c/c_typecheck_expr.cpp b/src/ansi-c/c_typecheck_expr.cpp
@@ -538,6 +538,7 @@ void c_typecheck_baset::typecheck_expr_builtin_va_arg(exprt &expr)
   symbol.base_name=ID_gcc_builtin_va_arg;
   symbol.name=ID_gcc_builtin_va_arg;
   symbol.type=symbol_type;
+  symbol.mode = ID_C;
 
   symbol_table.insert(std::move(symbol));
 }

Original file line number	Diff line number	Diff line change
`@@ -538,6 +538,7 @@ void c_typecheck_baset::typecheck_expr_builtin_va_arg(exprt &expr)`
`538`	`538`	`symbol.base_name=ID_gcc_builtin_va_arg;`
`539`	`539`	`symbol.name=ID_gcc_builtin_va_arg;`
`540`	`540`	`symbol.type=symbol_type;`
	`541`	`+ symbol.mode = ID_C;`
`541`	`542`
`542`	`543`	`symbol_table.insert(std::move(symbol));`
`543`	`544`	`}`