[llvm-bugs] [Bug 37204] New: Crash in clang::ento::SimpleConstraintManager::assumeInclusiveRange()

[via llvm-bugs]

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

            Bug ID: 37204
           Summary: Crash in
                    clang::ento::SimpleConstraintManager::assumeInclusiveR
                    ange()
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: dcoughlin at apple.com
          Reporter: alexfh at google.com
                CC: llvm-bugs at lists.llvm.org

$ cat test-clang__ento__SimpleConstraintManager__assumeInclusiveRange.c
a() {
  switch (sizeof(char) == 1)
  case sizeof(char):;
}
$ ./clang-tidy -checks=-*,clang-analyzer*
test-clang__ento__SimpleConstraintManager__assumeInclusiveRange.c --
assertion failed at llvm/include/llvm/ADT/APSInt.h:148 in bool
llvm::APSInt::operator>=(const llvm::APSInt &) const: IsUnsigned ==
RHS.IsUnsigned && "Signedness mismatch!"
    @     0x5604ab357a66  __assert_fail
    @     0x5604a913c0bd 
clang::ento::SimpleConstraintManager::assumeInclusiveRange()
    @     0x5604a90a07b4 
clang::ento::ConstraintManager::assumeInclusiveRangeDual()
    @     0x5604a9101660  clang::ento::ExprEngine::processSwitch()
    @     0x5604a911a100  clang::ento::CoreEngine::HandleBlockExit()
    @     0x5604a911902d  clang::ento::CoreEngine::ExecuteWorkList()
    @     0x5604a8e46ddc  (anonymous
namespace)::AnalysisConsumer::ActionExprEngine()
    @     0x5604a8e46956  (anonymous namespace)::AnalysisConsumer::HandleCode()
    @     0x5604a8e326c4  (anonymous
namespace)::AnalysisConsumer::HandleTranslationUnit()
    @     0x5604a93daa0c  clang::MultiplexConsumer::HandleTranslationUnit()

-- 
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/20180423/f4322ec8/attachment.html>