[kernel] Parsing tests/syntax/assert_location.c (with preprocessing) /* Generated by Frama-C */ #include "assert.h" void h(void) { __FC_assert("I\'m in assert_location.h" != (char const *)0, "tests/syntax/assert_location.h",4, "\"I\'m in assert_location.h\""); return; } void c(void) { __FC_assert("I\'m in assert_location.c" != (char const *)0, "tests/syntax/assert_location.c",9, "\"I\'m in assert_location.c\""); return; }