Skip to content

Latest commit

 

History

History
 
 

goto-cc

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
CMakeLists.txt
CMakeLists.txt
 
 
Makefile
Makefile
 
 
README.md
README.md
 
 
armcc_cmdline.cpp
armcc_cmdline.cpp
 
 
armcc_cmdline.h
armcc_cmdline.h
 
 
armcc_mode.cpp
armcc_mode.cpp
 
 
armcc_mode.h
armcc_mode.h
 
 
as86_cmdline.cpp
as86_cmdline.cpp
 
 
as86_cmdline.h
as86_cmdline.h
 
 
as_cmdline.cpp
as_cmdline.cpp
 
 
as_cmdline.h
as_cmdline.h
 
 
as_mode.cpp
as_mode.cpp
 
 
as_mode.h
as_mode.h
 
 
bcc_cmdline.cpp
bcc_cmdline.cpp
 
 
bcc_cmdline.h
bcc_cmdline.h
 
 
cl_message_handler.cpp
cl_message_handler.cpp
 
 
cl_message_handler.h
cl_message_handler.h
 
 
compile.cpp
compile.cpp
 
 
compile.h
compile.h
 
 
cw_mode.cpp
cw_mode.cpp
 
 
cw_mode.h
cw_mode.h
 
 
dist-linux
dist-linux
 
 
dist-win
dist-win
 
 
gcc_cmdline.cpp
gcc_cmdline.cpp
 
 
gcc_cmdline.h
gcc_cmdline.h
 
 
gcc_message_handler.cpp
gcc_message_handler.cpp
 
 
gcc_message_handler.h
gcc_message_handler.h
 
 
gcc_mode.cpp
gcc_mode.cpp
 
 
gcc_mode.h
gcc_mode.h
 
 
goto_cc_cmdline.cpp
goto_cc_cmdline.cpp
 
 
goto_cc_cmdline.h
goto_cc_cmdline.h
 
 
goto_cc_languages.cpp
goto_cc_languages.cpp
 
 
goto_cc_main.cpp
goto_cc_main.cpp
 
 
goto_cc_mode.cpp
goto_cc_mode.cpp
 
 
goto_cc_mode.h
goto_cc_mode.h
 
 
hybrid_binary.cpp
hybrid_binary.cpp
 
 
hybrid_binary.h
hybrid_binary.h
 
 
ld_cmdline.cpp
ld_cmdline.cpp
 
 
ld_cmdline.h
ld_cmdline.h
 
 
ld_mode.cpp
ld_mode.cpp
 
 
ld_mode.h
ld_mode.h
 
 
linker_script_merge.cpp
linker_script_merge.cpp
 
 
linker_script_merge.h
linker_script_merge.h
 
 
module_dependencies.txt
module_dependencies.txt
 
 
ms_cl_cmdline.cpp
ms_cl_cmdline.cpp
 
 
ms_cl_cmdline.h
ms_cl_cmdline.h
 
 
ms_cl_mode.cpp
ms_cl_mode.cpp
 
 
ms_cl_mode.h
ms_cl_mode.h
 
 
ms_cl_version.cpp
ms_cl_version.cpp
 
 
ms_cl_version.h
ms_cl_version.h
 
 
ms_link_cmdline.cpp
ms_link_cmdline.cpp
 
 
ms_link_cmdline.h
ms_link_cmdline.h
 
 
ms_link_mode.cpp
ms_link_mode.cpp
 
 
ms_link_mode.h
ms_link_mode.h
 
 

README.md

\ingroup module_hidden \defgroup goto-cc goto-cc

Folder goto-cc

\author Martin Brain

goto-cc is a compiler replacement that just performs the first step of the process; converting C or C++ programs to goto-binaries. It is intended to be dropped in to an existing build procedure in place of the compiler, thus it emulates flags that would affect the semantics of the code produced. Which set of flags are emulated depends on the naming of the goto-cc/ binary. If it is called goto-cc then it emulates GCC flags, goto-armcc emulates the ARM compiler, goto-cl emulates VCC and goto-cw emulates the Code Warrior compiler. The output of this tool can then be used with cbmc or goto-instrument.