C Instrumentation Framework

float_expr and rdiv_expr are widely used outside Linux kernel.

CIF log is messed up: aspectator failed at '3' stage, but the error message is printed after the first stage.

CIF ARGUMENTS: CC=1 /home/shchepetkov/inst/cif/bin/cif --debug ALL --in /home/shchepetkov/git/cif/aspectator/gcc/ggc-page.c --aspect /home/shchepetkov/launches/cif-km/workdir/info.aspect --back-end src --stage instrumentation --out /home/shchepetkov/launches/cif-km/workdir/cif/aspectator-build/gcc/ggc-page.o/ggc-page.o -- '-iquote/home/shchepetkov/git/cif/aspectator/gcc' '-c' '-g' '-fkeep-inline-functions' '-DIN_GCC' '-W' '-Wall' '-Wwrite-strings' '-Wcast-qual' '-Wstrict-prototypes' '-Wmissing-prototypes' '-Wmissing-format-attribute' '-pedantic' '-Wno-long-long' '-Wno-variadic-macros' '-Wno-overlength-strings' '-Wold-style-definition' '-Wc++-compat' '-fno-common' '-DHAVE_CONFIG_H' '-I/home/shchepetkov/git/cif/aspectator-build/gcc' '-I/home/shchepetkov/git/cif/aspectator-build/gcc' '-I/home/shchepetkov/git/cif/aspectator/gcc' '-I/home/shchepetkov/git/cif/aspectator/gcc' '-I/home/shchepetkov/git/cif/aspectator/include' '-I/home/shchepetkov/git/cif/aspectator/libcpp/include' '-I/home/shchepetkov/git/cif/aspectator-build/gmp' '-I/home/shchepetkov/git/cif/aspectator/gmp' '-I/home/shchepetkov/git/cif/aspectator-build/mpfr' '-I/home/shchepetkov/git/cif/aspectator/mpfr' '-I/home/shchepetkov/git/cif/aspectator/mpc/src' '-I/home/shchepetkov/git/cif/aspectator/libdecnumber' '-I/home/shchepetkov/git/cif/aspectator/libdecnumber/bid' '-I/home/shchepetkov/git/cif/aspectator-build/libdecnumber'

CIF LOG: CIF: NORMAL: Debug level is set to 'DEBUG'.
CIF: DEBUG: Options '--debug ALL --in /home/shchepetkov/git/cif/aspectator/gcc/ggc-page.c --aspect /home/shchepetkov/launches/cif-km/workdir/info.aspect --back-end src --stage instrumentation --out /home/shchepetkov/launches/cif-km/workdir/cif/aspectator-build/gcc/ggc-page.o/ggc-page.o' were passed to script through command-line.
CIF: DEBUG: Options '"-iquote/home/shchepetkov/git/cif/aspectator/gcc" "-c" "-g" "-fkeep-inline-functions" "-DIN_GCC" "-W" "-Wall" "-Wwrite-strings" "-Wcast-qual" "-Wstrict-prototypes" "-Wmissing-prototypes" "-Wmissing-format-attribute" "-pedantic" "-Wno-long-long" "-Wno-variadic-macros" "-Wno-overlength-strings" "-Wold-style-definition" "-Wc++-compat" "-fno-common" "-DHAVE_CONFIG_H" "-I/home/shchepetkov/git/cif/aspectator-build/gcc" "-I/home/shchepetkov/git/cif/aspectator-build/gcc" "-I/home/shchepetkov/git/cif/aspectator/gcc" "-I/home/shchepetkov/git/cif/aspectator/gcc" "-I/home/shchepetkov/git/cif/aspectator/include" "-I/home/shchepetkov/git/cif/aspectator/libcpp/include" "-I/home/shchepetkov/git/cif/aspectator-build/gmp" "-I/home/shchepetkov/git/cif/aspectator/gmp" "-I/home/shchepetkov/git/cif/aspectator-build/mpfr" "-I/home/shchepetkov/git/cif/aspectator/mpfr" "-I/home/shchepetkov/git/cif/aspectator/mpc/src" "-I/home/shchepetkov/git/cif/aspectator/libdecnumber" "-I/home/shchepetkov/git/cif/aspectator/libdecnumber/bid" "-I/home/shchepetkov/git/cif/aspectator-build/libdecnumber"' will be passed to aspectator as is (note that these options are processed by your interpreter before passing to CIF, so don't forget about proper escaping).
CIF: DEBUG: CIF will perform all stages up to 'instrumentation' stage.
CIF: DEBUG: File '/home/shchepetkov/git/cif/aspectator/gcc/ggc-page.c' will be instrumented or passed through C-backend.
CIF: DEBUG: Aspect file '/home/shchepetkov/launches/cif-km/workdir/info.aspect' will be used for instrumentation.
CIF: DEBUG: Output will be put to file '/home/shchepetkov/launches/cif-km/workdir/cif/aspectator-build/gcc/ggc-page.o/ggc-page.o' at 'compilation' stage.
CIF: DEBUG: Default aspectator '/home/shchepetkov/inst/cif/bin/aspectator' will be used.
CIF: DEBUG: +++++++ aspect preprocessing +++++++
CIF: DEBUG: Execute 'LDV_STAGE=0 LDV_ASPECT_FILE="/home/shchepetkov/launches/cif-km/workdir/info.aspect" /home/shchepetkov/inst/cif/bin/aspectator -fno-builtin -E -undef -C -x c "/home/shchepetkov/launches/cif-km/workdir/info.aspect" -o "/home/shchepetkov/launches/cif-km/workdir/cif/aspectator-build/gcc/ggc-page.o/ggc-page.o.info.aspect.i"'.
CIF: DEBUG: Execute 'sed -i 's/@/#/g' "/home/shchepetkov/launches/cif-km/workdir/cif/aspectator-build/gcc/ggc-page.o/ggc-page.o.info.aspect.i"'.
CIF: DEBUG: +++++++ file preparation +++++++
CIF: DEBUG: Execute 'LDV_STAGE=1 LDV_ASPECT_FILE="/home/shchepetkov/launches/cif-km/workdir/cif/aspectator-build/gcc/ggc-page.o/ggc-page.o.info.aspect.i" /home/shchepetkov/inst/cif/bin/aspectator "-iquote/home/shchepetkov/git/cif/aspectator/gcc" "-c" "-g" "-fkeep-inline-functions" "-DIN_GCC" "-W" "-Wall" "-Wwrite-strings" "-Wcast-qual" "-Wstrict-prototypes" "-Wmissing-prototypes" "-Wmissing-format-attribute" "-pedantic" "-Wno-long-long" "-Wno-variadic-macros" "-Wno-overlength-strings" "-Wold-style-definition" "-Wc++-compat" "-fno-common" "-DHAVE_CONFIG_H" "-I/home/shchepetkov/git/cif/aspectator-build/gcc" "-I/home/shchepetkov/git/cif/aspectator-build/gcc" "-I/home/shchepetkov/git/cif/aspectator/gcc" "-I/home/shchepetkov/git/cif/aspectator/gcc" "-I/home/shchepetkov/git/cif/aspectator/include" "-I/home/shchepetkov/git/cif/aspectator/libcpp/include" "-I/home/shchepetkov/git/cif/aspectator-build/gmp" "-I/home/shchepetkov/git/cif/aspectator/gmp" "-I/home/shchepetkov/git/cif/aspectator-build/mpfr" "-I/home/shchepetkov/git/cif/aspectator/mpfr" "-I/home/shchepetkov/git/cif/aspectator/mpc/src" "-I/home/shchepetkov/git/cif/aspectator/libdecnumber" "-I/home/shchepetkov/git/cif/aspectator/libdecnumber/bid" "-I/home/shchepetkov/git/cif/aspectator-build/libdecnumber" -fno-builtin -E -x c "/home/shchepetkov/gi/home/shchepetkov/git/cif/aspectator/gcc/ggc-page.c: In function 'ggc_collect':
/home/shchepetkov/git/cif/aspectator/gcc/ggc-page.c:1907:5: warning: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4339: expression recursion limit is reached [enabled by default]
/home/shchepetkov/git/cif/aspectator/gcc/ggc-page.c:1907:5: error: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4340: tree node 'float_expr' isn't supported
/home/shchepetkov/git/cif/aspectator/gcc/ggc-page.c:1907:5: warning: LDV: ../../aspectator/gcc/c-family/ldv-pretty-print.c: 3075: expression of primary expression was not printed [enabled by default]
/home/shchepetkov/git/cif/aspectator/gcc/ggc-page.c:1909:3: warning: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4339: expression recursion limit is reached [enabled by default]
/home/shchepetkov/git/cif/aspectator/gcc/ggc-page.c:1909:3: error: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4340: tree node 'rdiv_expr' isn't supported
/home/shchepetkov/git/cif/aspectator/gcc/ggc-page.c:1909:3: warning: LDV: ../../aspectator/gcc/c-family/ldv-pretty-print.c: 3075: expression of primary expression was not printed [enabled by default]
Aspectator failed at '3' stage.
t/cif/aspectator/gcc/ggc-page.c" -o "/home/shchepetkov/launches/cif-km/workdir/cif/aspectator-build/gcc/ggc-page.o/ggc-page.o.prepared"'.
CIF: DEBUG: +++++++ macro instrumentation +++++++
CIF: DEBUG: Execute 'LDV_STAGE=2 LDV_ASPECT_FILE="/home/shchepetkov/launches/cif-km/workdir/cif/aspectator-build/gcc/ggc-page.o/ggc-page.o.info.aspect.i" /home/shchepetkov/inst/cif/bin/aspectator "-iquote/home/shchepetkov/git/cif/aspectator/gcc" "-c" "-g" "-fkeep-inline-functions" "-DIN_GCC" "-W" "-Wall" "-Wwrite-strings" "-Wcast-qual" "-Wstrict-prototypes" "-Wmissing-prototypes" "-Wmissing-format-attribute" "-pedantic" "-Wno-long-long" "-Wno-variadic-macros" "-Wno-overlength-strings" "-Wold-style-definition" "-Wc++-compat" "-fno-common" "-DHAVE_CONFIG_H" "-I/home/shchepetkov/git/cif/aspectator-build/gcc" "-I/home/shchepetkov/git/cif/aspectator-build/gcc" "-I/home/shchepetkov/git/cif/aspectator/gcc" "-I/home/shchepetkov/git/cif/aspectator/gcc" "-I/home/shchepetkov/git/cif/aspectator/include" "-I/home/shchepetkov/git/cif/aspectator/libcpp/include" "-I/home/shchepetkov/git/cif/aspectator-build/gmp" "-I/home/shchepetkov/git/cif/aspectator/gmp" "-I/home/shchepetkov/git/cif/aspectator-build/mpfr" "-I/home/shchepetkov/git/cif/aspectator/mpfr" "-I/home/shchepetkov/git/cif/aspectator/mpc/src" "-I/home/shchepetkov/git/cif/aspectator/libdecnumber" "-I/home/shchepetkov/git/cif/aspectator/libdecnumber/bid" "-I/home/shchepetkov/git/cif/aspectator-build/libdecnumber" -fno-builtin -E -I "/home/shchepetkov/git/cif/aspectator/gcc" -x c "/home/shchepetkov/launches/cif-km/workdir/cif/aspectator-build/gcc/ggc-page.o/ggc-page.o.prepared" -o "/home/shchepetkov/launches/cif-km/workdir/cif/aspectator-build/gcc/ggc-page.o/ggc-page.o.macroinstrumented"'.
CIF: DEBUG: +++++++ instrumentation +++++++
CIF: DEBUG: Execute 'LDV_STAGE=3 LDV_ASPECT_FILE="/home/shchepetkov/launches/cif-km/workdir/cif/aspectator-build/gcc/ggc-page.o/ggc-page.o.info.aspect.i" LDV_OUT="/home/shchepetkov/launches/cif-km/workdir/cif/aspectator-build/gcc/ggc-page.o/ggc-page.o.instrumented" /home/shchepetkov/inst/cif/bin/aspectator "-iquote/home/shchepetkov/git/cif/aspectator/gcc" "-c" "-g" "-fkeep-inline-functions" "-DIN_GCC" "-W" "-Wall" "-Wwrite-strings" "-Wcast-qual" "-Wstrict-prototypes" "-Wmissing-prototypes" "-Wmissing-format-attribute" "-pedantic" "-Wno-long-long" "-Wno-variadic-macros" "-Wno-overlength-strings" "-Wold-style-definition" "-Wc++-compat" "-fno-common" "-DHAVE_CONFIG_H" "-I/home/shchepetkov/git/cif/aspectator-build/gcc" "-I/home/shchepetkov/git/cif/aspectator-build/gcc" "-I/home/shchepetkov/git/cif/aspectator/gcc" "-I/home/shchepetkov/git/cif/aspectator/gcc" "-I/home/shchepetkov/git/cif/aspectator/include" "-I/home/shchepetkov/git/cif/aspectator/libcpp/include" "-I/home/shchepetkov/git/cif/aspectator-build/gmp" "-I/home/shchepetkov/git/cif/aspectator/gmp" "-I/home/shchepetkov/git/cif/aspectator-build/mpfr" "-I/home/shchepetkov/git/cif/aspectator/mpfr" "-I/home/shchepetkov/git/cif/aspectator/mpc/src" "-I/home/shchepetkov/git/cif/aspectator/libdecnumber" "-I/home/shchepetkov/git/cif/aspectator/libdecnumber/bid" "-I/home/shchepetkov/git/cif/aspectator-build/libdecnumber" -fno-builtin -fsyntax-only -x cpp-output "/home/shchepetkov/launches/cif-km/workdir/cif/aspectator-build/gcc/ggc-page.o/ggc-page.o.macroinstrumented" -o "/home/shchepetkov/launches/cif-km/workdir/cif/aspectator-build/gcc/ggc-page.o/ggc-page.o.instrumented"'.
CIF: DEBUG: Remove intermediate files.