Handling of ."cc" file extension in c_preprocess.cpp #4358
Labels
Comments
tautschnig
added a commit
to tautschnig/cbmc
that referenced
this issue
Mar 11, 2019
Largely follows GCC's documentation at https://gcc.gnu.org/onlinedocs/gcc/Overall-Options.html#index-file-name-suffix-71, with the extension that we accept some uppercase variants in C/C++ pre-processing. Fixes: diffblue#4358
3 tasks
|
Thank you very much for the detailed report, this will be fixed in #4363. |
tautschnig
added a commit
to tautschnig/cbmc
that referenced
this issue
Mar 11, 2019
Largely follows GCC's documentation at https://gcc.gnu.org/onlinedocs/gcc/Overall-Options.html#index-file-name-suffix-71, with the extension that we accept some uppercase variants in C/C++ pre-processing. Fixes: diffblue#4358
kroening
pushed a commit
that referenced
this issue
Mar 11, 2019
Largely follows GCC's documentation at https://gcc.gnu.org/onlinedocs/gcc/Overall-Options.html#index-file-name-suffix-71, with the extension that we accept some uppercase variants in C/C++ pre-processing. Fixes: #4358
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The
.ccsuffix is missing in this code:https://github.com/diffblue/cbmc/blob/develop/src/ansi-c/c_preprocess.cpp#L583
I think this is a bug, because it is present here:
https://github.com/diffblue/cbmc/blob/develop/src/goto-cc/gcc_mode.cpp#L308
https://github.com/diffblue/cbmc/blob/develop/src/goto-cc/compile.cpp#L144
https://github.com/diffblue/cbmc/blob/develop/src/cpp/cpp_language.cpp#L39
The text was updated successfully, but these errors were encountered: