[llvm-bugs] [Bug 32729] 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

Alexander Kornienko <alexfh at google.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
                 CC|                            |alexfh at google.com
             Status|NEW                         |RESOLVED

--- Comment #1 from Alexander Kornienko <alexfh at google.com> ---
Not reproducible now.

$ cat ~/Downloads/reduced\ \(1\).cc 

enum class E : bool {
  T = true,
  F = false,
};

static void *f(E e) {
  switch (e) {
  case E::F:
    return nullptr;
  case E::T:
    return nullptr;
  }
}
$ ~/work/llvm-build/bin/clang-tidy -checks=* ~/Downloads/reduced\ \(1\).cc --
<nothing>

-- 
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/20190417/541fc636/attachment.html>