Merge pull request diffblue#2624 from diffblue/va_arg_mode

symbols for va_args need a mode
NathanJPhillips · Jul 27, 2018 · d5adef5 · d5adef5
2 parents 8bca5cd + 3e3303d
commit d5adef5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/goto-symex/symex_function_call.cpp b/src/goto-symex/symex_function_call.cpp
@@ -148,6 +148,7 @@ void goto_symext::parameter_assignments(
       symbolt symbol;
       symbol.name=id;
       symbol.base_name="va_arg"+std::to_string(va_count);
+      symbol.mode=ID_C;
       symbol.type=it1->type();
 
       state.symbol_table.insert(std::move(symbol));