[llvm-bugs] [Bug 38427] New: Crash under isLeftShiftResultUnrepresentable

[via llvm-bugs]

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

            Bug ID: 38427
           Summary: Crash under isLeftShiftResultUnrepresentable
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: Linux
            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.c
int a;
void b() {
  char c = d() - 5;
  c == 0;
  a -= c;
  a == 3;
  (long)a << 48;
}
$ ./clang-tidy -checks=-*,clang-analyzer* test.c -- -std=c99
PC: @     0x55e508f35909  (unknown)  llvm::APInt::isSingleWord()
    @     0x55e51723bca8        192  FailureSignalHandler()
    @     0x7f36b6d2e9a0  (unknown)  (unknown)
    @     0x55e508f393df         32  llvm::APInt::countLeadingZeros()
    @     0x55e51108d060        192  isLeftShiftResultUnrepresentable()
    @     0x55e51108c29b        224  (anonymous
namespace)::UndefResultChecker::checkPostStmt()
    @     0x55e511676c62        192  (anonymous
namespace)::CheckStmtContext::runChecker()
    @     0x55e51166ee44        240  expandGraphWithCheckers<>()
    @     0x55e51166e62f        208 
clang::ento::CheckerManager::runCheckersForStmt()
    @     0x55e5116c61b5         32 
clang::ento::CheckerManager::runCheckersForPostStmt()
    @     0x55e5116fef3e        608 
clang::ento::ExprEngine::VisitBinaryOperator()
    @     0x55e5116b5495        384  clang::ento::ExprEngine::Visit()
    @     0x55e5116af75a        192  clang::ento::ExprEngine::ProcessStmt()
    @     0x55e5116af2d9        160 
clang::ento::ExprEngine::processCFGElement()
    @     0x55e5116f811a        160  clang::ento::CoreEngine::HandlePostStmt()
    @     0x55e5116f7284        160 
clang::ento::CoreEngine::dispatchWorkItem()
    @     0x55e5116f6c6d        256  clang::ento::CoreEngine::ExecuteWorkList()
    @     0x55e511015328        160  clang::ento::ExprEngine::ExecuteWorkList()
    @     0x55e510fdca9b        192  (anonymous
namespace)::AnalysisConsumer::ActionExprEngine()
    @     0x55e510fdc3a6        192  (anonymous
namespace)::AnalysisConsumer::HandleCode()
    @     0x55e510fd6815        288  (anonymous
namespace)::AnalysisConsumer::HandleDeclsCallGraph()
    @     0x55e510fd5807        208  (anonymous
namespace)::AnalysisConsumer::runAnalysisOnTranslationUnit()
    @     0x55e510fd4696         48  (anonymous
namespace)::AnalysisConsumer::HandleTranslationUnit()
    @     0x55e511d258d8        128 
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/20180802/930df82c/attachment-0001.html>