Errors when trying to slice programs containing includes - with or without a compiler other than the default GCC
Hi, We are trying to slice the simple program tst3.cpp (included tst3.cpp). The execution command is: frama-c tst3.cpp -slice-calls g -slicing-level 1 -slicing-keep-annotations -then-on 'Slicing export' -print -ocode output.cpp The slicing succeeds and the output is:
Moreover, we keep facing failures when trying to slice simple programs with the MinGW's GCC compiler and headers. For example, for tried execution the following command:
frama-c -cpp-command 'x86_64-w64-mingw32-gcc -C -E -I /usr/x86_64-w64-mingw32/include' -cpp-frama-c-compliant tst3.cpp -slice-calls g -slicing-level 1 -slicing-keep-annotations -then-on 'Slicing export' -print -ocode output.cpp
The errors range from "invalid user input" on header files, to incompatible arch mode (32, 64 bit).
Hope to receive help with the right way of executing things, including the right commands with the right parameters, how to use MinGW in order to slice visual-C++ code (MSVC), etc.