Bug #6761
closedfloat_expr and rdiv_expr aren't supported
0%
Description
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.
Files
Updated by Evgeny Novikov about 8 years ago
CIF log is messed up because of you mess it up. If you get both STDOUT and STDERR logs from console or from one file you need to redirect STDERR to STDOUT. Besides you can put STDERR log somewhere else.
As for unsupported expressions I agree that they have much sense for non Linux kernel source code.
Updated by Evgeny Novikov about 8 years ago
- Category set to C back-end
- Priority changed from Normal to Low
Updated by Vadim Mutilin about 5 years ago
The 'float_expr' and 'rdiv_expr' expressions are widely occur in arinc applications.
Additionally we have tree node 'fix_trunc_expr' isn't supported
Updated by Evgeny Novikov about 5 years ago
- Priority changed from Low to Urgent
So, let's raise the issue priority!
Updated by Evgeny Novikov about 5 years ago
- Status changed from New to Resolved
I added support for all mentioned expressions in 2c01a9c. More tests are needed.
Updated by Ilya Shchepetkov about 5 years ago
No complaints were made, so I think we can close the issue. However, for unknown reason can't do it myself.
Updated by Evgeny Novikov about 5 years ago
- Status changed from Resolved to Closed
I don't know, why you can't close the issue.