[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] warning: your preprocessor is not known to handle option ` -nostdinc'. If pre-processing fails because of it, please add -no-cpp-gnu-like option to Frama-C's command-line. If you do not want to see this warning again, use explicitely -cpp-gnu-like option.
[kernel] Parsing tests/spec/preprocess_string.c (with preprocessing)
/* Generated by Frama-C */
/*@ ensures *("/*"+0) ≡ '/'; */
char f(void)
{
  char __retres;
  __retres = *("/*" + 1);
  return __retres;
}


