From 3e3303d6621d504f83108644e895594be121e1a3 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Thu, 26 Jul 2018 19:03:23 +0100 Subject: [PATCH] symbols for va_args need a mode --- src/goto-symex/symex_function_call.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/goto-symex/symex_function_call.cpp b/src/goto-symex/symex_function_call.cpp index 1953e898a4c..883d62871d9 100644 --- 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));