[llvm-bugs] [Bug 32729] New: Assertion failed: (V1.getBitWidth() == getContext().getTypeSize(CondE->getType())), function processSwitch, file llvm/tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp, line 1907

[via llvm-bugs]

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

            Bug ID: 32729
           Summary: Assertion failed: (V1.getBitWidth() ==
                    getContext().getTypeSize(CondE->getType())), function
                    processSwitch, file
                    llvm/tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cp
                    p, line 1907
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: compnerd at compnerd.org
                CC: llvm-bugs at lists.llvm.org

Created attachment 18324
  --> https://bugs.llvm.org/attachment.cgi?id=18324&action=edit
reduced.cc

static assertion failure on sized enums inheriting from bool.  See attached
reduced test case.

-- 
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/20170420/6af9bf6a/attachment.html>