[llvm-bugs] [Bug 47272] New: Change b13d9878b8dc causes crash in VLASizeChecker

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=47272

            Bug ID: 47272
           Summary: Change b13d9878b8dc causes crash in VLASizeChecker
           Product: clang
           Version: trunk
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: dcoughlin at apple.com
          Reporter: chris.hamilton at ericsson.com
                CC: dcoughlin at apple.com, llvm-bugs at lists.llvm.org

Created attachment 23874
  --> https://bugs.llvm.org/attachment.cgi?id=23874&action=edit
Simplified reproducer

Change b13d9878b8dc was identified through bisection as the cause of this
VLASizeChecker assertion failure:

 clang-tidy:
/repo/eahcmrh/upstream-llvm-project/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp:302:
void 
 {anonymous}::VLASizeChecker::checkPreStmt(const clang::DeclStmt*,
clang::ento::CheckerContext&) const: Assertion `State' failed.
 PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash
backtrace.
 Stack dump:
 0.     Program arguments: clang-tidy -checks=-*,clang-analyzer-* reduced.c 
 1.     <eof> parser at end of file
 2.     While analyzing stack: 
        #0 Calling c
 3.     /repo/eahcmrh/upstream-llvm-project/reduced.c:6:5: Error evaluating
statement
 4.     /repo/eahcmrh/upstream-llvm-project/reduced.c:6:5: Error evaluating
statement
 ./run.sh: line 5: 57723 Aborted                 clang-tidy
-checks=-*,clang-analyzer-* reduced.c

Simple reproducer is attached.  Crash can be reproduced by running 'clang-tidy
-checks=-*,clang-analyzer-* reduced.c'.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20200821/d19cd212/attachment.html>