[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/array_size_float.i (no preprocessing)
tests/syntax/array_size_float.i:1:[kernel] warning: Floating-point constant 50.1 is not represented exactly. Will use 0x1.90ccccccccccdp5. See documentation for option -warn-decimal-float
tests/syntax/array_size_float.i:2:[kernel] warning: Unable to do constant-folding on array length (int)6000000000000.1. Some CIL operations on this array may fail.
/* Generated by Frama-C */
int t1[50];
int t2[(int)6000000000000.1];

