[llvm-bugs] [Bug 31835] New: The static checker stackdumps on OpenMP pragma

[via llvm-bugs]

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

            Bug ID: 31835
           Summary: The static checker stackdumps on OpenMP pragma
           Product: clang
           Version: 3.9
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: K.vanderSloot at let.ru.nl
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Created attachment 17921
  --> https://llvm.org/bugs/attachment.cgi?id=17921&action=edit
failing program

When I run the static checker on a really simple program, 
it dumps a stack trace. (attached)

The program is:

-- 
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/20170201/f7071c3b/attachment-0001.html>