Uncaught Internal Error: "Assert_failure src/clang/cEnum_decl.ml:34:8" on QEMU

[zyh1121]

☑️ Please make sure your issue is not addressed in the [FAQ] (http://fbinfer.com/support.html#troubleshooting).

Please include the following information:

• The version of infer from infer --version.

   Infer version v0.17.0-1e25cf2
   Copyright 2009 - present Facebook. All Rights Reserved.

• Your operating system and version, for example "Debian 9", "MacOS High Sierra", whether you are using Docker, etc.

  • PowerPC 3.10.0-957.el7.ppc64le

• Which command you ran, for example infer -- make.

  • infer run -- gcc -I. -I.. -I../include -Ihw/net -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -c ../hw/net/e1000.c

• The full output in a paste, for instance a gist.
  https://gist.github.com/zyh1121/f62bc1ebf51b94eb705d426dac1348ac

• If possible, a minimal example to reproduce your problem (for instance, some code where
  infer reports incorrectly, together with the way you run infer to reproduce the incorrect
  report).

  • git clone https://github.com/qemu/qemu.git
  • cd qemu/
  • git checkout 9b26a610936deaf436af9b7e39e4b7f0a35e4409
  • mkdir build
  • cd build
  • ../configure
  • make config-host.h
  • infer run -- gcc -I. -I.. -I../include -Ihw/net -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -c ../hw/net/e1000.c

Infer crashed on hw/net/e1000.c from the QEMU project. The error msg

Uncaught Internal Error: "Assert_failure src/clang/cEnum_decl.ml:34:8"
Error backtrace:
Raised at file "src/clang/cEnum_decl.ml" (inlined), line 34, characters 8-20
Called from file "src/clang/cEnum_decl.ml", line 40, characters 32-63
Called from file "src/clang/cEnum_decl.ml", line 51, characters 6-52
Called from file "src/clang/cFrontend_decl.ml", line 425, characters 15-41
Called from file "list.ml", line 110, characters 12-15
Called from file "list.ml" (inlined), line 110, characters 17-25
Called from file "src/list0.ml" (inlined), line 25, characters 16-35
Called from file "src/clang/cFrontend.ml", line 27, characters 6-130
Called from file "src/clang/Capture.ml", line 86, characters 25-73
Re-raised at file "src/istd/IExn.ml" (inlined), line 18, characters 15-63
Called from file "src/clang/Capture.ml", line 104, characters 4-60
Called from file "src/base/Utils.ml" (inlined), line 258, characters 13-22
Called from file "src/base/Utils.ml" (inlined), line 182, characters 8-12
Called from file "src/base/Utils.ml", line 260, characters 2-40
Re-raised at file "src/istd/IExn.ml" (inlined), line 13, characters 2-50
Called from file "src/base/Utils.ml" (inlined), line 184, characters 6-141
Called from file "src/base/Utils.ml", line 260, characters 2-40
Called from file "src/clang/Capture.ml" (inlined), line 115, characters 8-78
Called from file "src/clang/Capture.ml", line 150, characters 2-37
Called from file "src/clang/ClangWrapper.ml" (inlined), line 183, characters 15-45
Called from file "list.ml" (inlined), line 110, characters 12-15
Called from file "list.ml" (inlined), line 108, characters 13-64
Called from file "src/list0.ml" (inlined), line 25, characters 16-35
Called from file "src/clang/ClangWrapper.ml", line 183, characters 2-54
Called from file "src/integration/Driver.ml", line 171, characters 6-40
Called from file "src/base/Utils.ml", line 441, characters 16-20
Called from file "src/scuba/ScubaLogging.ml" (inlined), line 70, characters 29-44
Called from file "src/integration/Driver.ml", line 207, characters 2-90
Called from file "src/infer.ml" (inlined), line 20, characters 2-36
Called from file "src/base/Utils.ml" (inlined), line 441, characters 16-20
Called from file "src/scuba/ScubaLogging.ml" (inlined), line 70, characters 29-44
Called from file "src/infer.ml", line 25, characters 22-94

To reproduce, you might need to provide your paths to the glib.h and glibconfig.h. In my case,

• #include <glib.h> : -I/usr/include/glib-2.0
• #include <glibconfig.h>: -I/usr/lib64/glib-2.0/include

[dengqunli]

☑️ Please make sure your issue is not addressed in the [FAQ] (http://fbinfer.com/support.html#troubleshooting).

Please include the following information:

• The version of infer from infer --version.

   Infer version v0.17.0-1e25cf2
   Copyright 2009 - present Facebook. All Rights Reserved.

• Your operating system and version, for example "Debian 9", "MacOS High Sierra", whether you are using Docker, etc.

  • PowerPC 3.10.0-957.el7.ppc64le

• Which command you ran, for example infer -- make.

  • infer run -- gcc -I. -I.. -I../include -Ihw/net -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -c ../hw/net/e1000.c

• The full output in a paste, for instance a gist.
  https://gist.github.com/zyh1121/f62bc1ebf51b94eb705d426dac1348ac

• If possible, a minimal example to reproduce your problem (for instance, some code where
  infer reports incorrectly, together with the way you run infer to reproduce the incorrect
  report).

  • git clone https://github.com/qemu/qemu.git
  • cd qemu/
  • git checkout 9b26a610936deaf436af9b7e39e4b7f0a35e4409
  • mkdir build
  • cd build
  • ../configure
  • make config-host.h
  • infer run -- gcc -I. -I.. -I../include -Ihw/net -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -c ../hw/net/e1000.c

Infer crashed on hw/net/e1000.c from the QEMU project. The error msg

Uncaught Internal Error: "Assert_failure src/clang/cEnum_decl.ml:34:8"
Error backtrace:
Raised at file "src/clang/cEnum_decl.ml" (inlined), line 34, characters 8-20
Called from file "src/clang/cEnum_decl.ml", line 40, characters 32-63
Called from file "src/clang/cEnum_decl.ml", line 51, characters 6-52
Called from file "src/clang/cFrontend_decl.ml", line 425, characters 15-41
Called from file "list.ml", line 110, characters 12-15
Called from file "list.ml" (inlined), line 110, characters 17-25
Called from file "src/list0.ml" (inlined), line 25, characters 16-35
Called from file "src/clang/cFrontend.ml", line 27, characters 6-130
Called from file "src/clang/Capture.ml", line 86, characters 25-73
Re-raised at file "src/istd/IExn.ml" (inlined), line 18, characters 15-63
Called from file "src/clang/Capture.ml", line 104, characters 4-60
Called from file "src/base/Utils.ml" (inlined), line 258, characters 13-22
Called from file "src/base/Utils.ml" (inlined), line 182, characters 8-12
Called from file "src/base/Utils.ml", line 260, characters 2-40
Re-raised at file "src/istd/IExn.ml" (inlined), line 13, characters 2-50
Called from file "src/base/Utils.ml" (inlined), line 184, characters 6-141
Called from file "src/base/Utils.ml", line 260, characters 2-40
Called from file "src/clang/Capture.ml" (inlined), line 115, characters 8-78
Called from file "src/clang/Capture.ml", line 150, characters 2-37
Called from file "src/clang/ClangWrapper.ml" (inlined), line 183, characters 15-45
Called from file "list.ml" (inlined), line 110, characters 12-15
Called from file "list.ml" (inlined), line 108, characters 13-64
Called from file "src/list0.ml" (inlined), line 25, characters 16-35
Called from file "src/clang/ClangWrapper.ml", line 183, characters 2-54
Called from file "src/integration/Driver.ml", line 171, characters 6-40
Called from file "src/base/Utils.ml", line 441, characters 16-20
Called from file "src/scuba/ScubaLogging.ml" (inlined), line 70, characters 29-44
Called from file "src/integration/Driver.ml", line 207, characters 2-90
Called from file "src/infer.ml" (inlined), line 20, characters 2-36
Called from file "src/base/Utils.ml" (inlined), line 441, characters 16-20
Called from file "src/scuba/ScubaLogging.ml" (inlined), line 70, characters 29-44
Called from file "src/infer.ml", line 25, characters 22-94

To reproduce, you might need to provide your paths to the glib.h and glibconfig.h. In my case,

• #include <glib.h> : -I/usr/include/glib-2.0
• #include <glibconfig.h>: -I/usr/lib64/glib-2.0/include
  你好，可以介绍下，你这个问题是怎么解决的吗

[dengqunli]

你好，可以介绍下，你这个问题是怎么解决的吗