[llvm-bugs] [Bug 34399] New: StaticAnalyzer/Core/ExprEngine.cpp UNREACHABLE executed
llvm-bugs at lists.llvm.org
Thu Aug 31 12:08:20 PDT 2017
Bug ID: 34399
Summary: StaticAnalyzer/Core/ExprEngine.cpp UNREACHABLE
Component: Static Analyzer
Assignee: kremenek at apple.com
Reporter: chh at google.com
CC: llvm-bugs at lists.llvm.org
Created attachment 19073
preprocessed p.cpp and command in run.sh
The attached p.zip contains a test case that
shows an assertion failure triggered by core
static analyzer checks.
To reproduce the problem:
(1) build clang-tidy with assertion check.
(2) run the run.sh script.
The assertion failure is:
Support for this Decl not implemented.
UNREACHABLE executed at
The p.cpp is preprocessed file from Android Open Source.
The compilation mode -std=gnu++1z is needed to reproduce the error.
Several Android source files have this problem and they are compiled
with -std=gnu++1z. If there is some gnu features not supported by
static analyzer, can static analyzer skip them gracefully?
If we can identify the source syntax, maybe we can avoid them in the source.
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-bugs