replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #4388 from martin-cs/fix/function-is-main 

There is no need for argc and argv to be new
This commit is contained in:
Michael Tautschnig 2019-03-21 08:46:19 +00:00 committed by GitHub
parent fed95284bb 2bee6b195f
commit 7e79130032
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/ansi-c/ansi_c_entry_point.cpp
View File

@ -268,10 +268,12 @@ bool generate_ansi_c_start_function(
argc_symbol.is_lvalue = true;
argc_symbol.mode = ID_C;
if(!symbol_table.insert(std::move(argc_symbol)).second)
auto r = symbol_table.insert(argc_symbol);
if(!r.second && r.first != argc_symbol)
{
messaget message(message_handler);
message.error() << "failed to insert argc symbol" << messaget::eom;
message.error() << "argc already exists but is not usable"
<< messaget::eom;
return true;
}
}
@ -295,10 +297,12 @@ bool generate_ansi_c_start_function(
argv_symbol.is_lvalue = true;
argv_symbol.mode = ID_C;
if(!symbol_table.insert(std::move(argv_symbol)).second)
auto r = symbol_table.insert(argv_symbol);
if(!r.second && r.first != argv_symbol)
{
messaget message(message_handler);
message.error() << "failed to insert argv symbol" << messaget::eom;
message.error() << "argv already exists but is not usable"
<< messaget::eom;
return true;
}
}