[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/spec/pragma.i (no preprocessing)
tests/spec/pragma.i:12:[kernel] warning: Unexpected attribute in #pragma
tests/spec/pragma.i:14:[kernel] warning: Unexpected attribute in #pragma
tests/spec/pragma.i:15:[kernel] warning: Unexpected attribute in #pragma
/* Generated by Frama-C */
#pragma 
#pragma A
#pragma A()
#pragma A("AA",A,B,2:4)
#pragma B
#pragma B()
#pragma B("AA",A,B,2:4)
#pragma 1:3
#pragma default:1
#pragma 1 ? A : B
#pragma "A"
#pragma 1
#pragma A 0
#pragma A B "C"
#pragma B A "C" 4 "E"
#pragma 0 A B "C" D 5

