syntax error in value binary assignment
ID0000929: This issue was created automatically from Mantis Issue 929. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000929 | Frama-C | Kernel | public | 2011-08-18 | 2014-03-13 |
| Reporter | inti | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | feature | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20110201 | Target Version | - | Fixed in Version | Frama-C Neon-20140301 |
Description :
I am developing a microcontroller, My code is like this assignment:
LPC_IOCON->PIO0_1=0b00000000000000000000000000000000;
and all of this kind of assignment cause this error in frama-c value analysis
[kernel] preprocessing with "gcc -C -E -I. peripheral-gpio.c" peripheral-gpio.c:28:[kernel] user error: syntax error [kernel] user error: skipping file "peripheral-gpio.c" that has errors.
I think the problem is the binary value because when I assign a integer or hexa value the problem disappear.