facebook / facebook/infer

Errors when handling `Xclang` options in compile_commands.json

Open
#1,929 0 comments 0 reactions 0 assignees View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.