path to non-existing directory given to framaCIRGen
ID0001954: This issue was created automatically from Mantis Issue 1954. Further discussion may take place here.
|ID0001954||Frama-Clang||Plug-in > clang||public||2014-11-06||2015-04-02|
|Product Version||-||Target Version||-||Fixed in Version||-|
When investigating issue #1953 (closed), in order to find out the appropriate command-line arguments for framaCIRGen, I called "frama-c -cxx-clang-command=echo 000.cpp" and got the output -target i386-unknown-linux-gnu -I /usr/local/share/libc++ -I /usr/local/share/frama-c/libc -I /usr/local/share/frama-c --stop-annot-error 000a.cpp -o /tmp/clang_astb9af51ast (before frama-c crashed due to lack of stdin input). However, the first include path, "/usr/local/share/libc++", points to a non-existing directory. This need not be a problem, but it could be. In particular, some include files could be missing that are expected to reside in /usr/local/share/libc++.
Additional Information :
No need to attach the trivial file 000.cpp here; any file will do.