Errors when handling `Xclang` options in compile_commands.json
Open
- Dominant language
- OCaml
- Stars
- 15.7k
- Forks
- 2.1k
- Avg merge
- 19h 36m
- Merged PRs (30d)
- 13
Description
Infer version: v1.2.0-8a743a22fa
OS: Ubuntu 22.04.5 LTS.
---
In some cases, options need to be passed with "-Xclang" or "-mllvm", and Infer seems to have problems when handling such options in compilation databases.
In my particular case, the compile command contains `-Xclang -mllvm -Xclang -instcombine-lower-dbg-declare=0`. Here is a simple `hello.cpp` (the content is not important, it is here just to show the workflow) :
```c++
#include
using namespace std;
int main(void) {
cout<<"Hello, World!"<
Contributor guide
Assessment
This issue has not been assessed yet.