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

computed_goto -> gcc_computed_goto 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4055 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2014-06-14 20:51:09 +00:00
parent 2a89090484
commit 25980c70e2
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/goto-programs/goto_convert.cpp
View File

@ -445,8 +445,8 @@ void goto_convertt::convert(
convert_continue(to_code_continue(code), dest);
else if(statement==ID_goto)
convert_goto(code, dest);
else if(statement=="computed-goto")
convert_computed_goto(code, dest);
else if(statement==ID_gcc_computed_goto)
convert_gcc_computed_goto(code, dest);
else if(statement==ID_skip)
convert_skip(code, dest);
else if(statement=="non-deterministic-goto")
@ -1531,7 +1531,7 @@ void goto_convertt::convert_goto(
/*******************************************************************\
Function: goto_convertt::convert_computed_goto
Function: goto_convertt::convert_gcc_computed_goto
Inputs:
@ -1541,7 +1541,7 @@ Function: goto_convertt::convert_computed_goto
\*******************************************************************/
void goto_convertt::convert_computed_goto(
void goto_convertt::convert_gcc_computed_goto(
const codet &code,
goto_programt &dest)
{

2
src/goto-programs/goto_convert_class.h
View File

@ -177,7 +177,7 @@ protected:
void convert_ifthenelse(const code_ifthenelset &code, goto_programt &dest);
void convert_init(const codet &code, goto_programt &dest);
void convert_goto(const codet &code, goto_programt &dest);
void convert_computed_goto(const codet &code, goto_programt &dest);
void convert_gcc_computed_goto(const codet &code, goto_programt &dest);
void convert_skip(const codet &code, goto_programt &dest);
void convert_non_deterministic_goto(const codet &code, goto_programt &dest);
void convert_label(const code_labelt &code, goto_programt &dest);