When compiling with goto-gcc, warnings are produced in the following way:
file line message
gcc reports warnings and errors in the following format:
:: message
To better work with a code base that is compiled per directory and finally linked into a single binary, an even more convenient format would use the absolute path to the source files. This way, analysis can be run from the common base directory and all files are found without the need to know the current work directory of the compiler process.
Best,
Norbert
When compiling with goto-gcc, warnings are produced in the following way:
file line message
gcc reports warnings and errors in the following format:
:: message
To better work with a code base that is compiled per directory and finally linked into a single binary, an even more convenient format would use the absolute path to the source files. This way, analysis can be run from the common base directory and all files are found without the need to know the current work directory of the compiler process.
Best,
Norbert