When using -pp-annot and including stdbool.h, can't parse \false in annotations
ID0000541: This issue was created automatically from Mantis Issue 541. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000541 | Frama-C | Kernel > ACSL implementation | public | 2010-07-13 | 2014-02-12 |
| Reporter | pascal | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | Frama-C Carbon-20101201-beta1 |
Description :
On the attached program (that came from bug report 530), when the -pp-annot option is used, the \false in annotations cause problems.
Commandline (for me, adjust path as needed):
frama-c -pp-annot -cpp-command "gcc -I/usr/local/Frama-C_B/share/frama-c/libc -C -E " t3.c
Results:
[kernel] preprocessing with "gcc -I/usr/local/share/frama-c/libc -C -E -dD t3.c"
/usr/local/share/frama-c/libc/stdlib.h:127:[kernel] user error: lexical error, illegal character
[kernel] user error: skipping file "t3.c" that has errors.
[kernel] Frama-C aborted because of an invalid user input.
More details are available at bug 530.