[llvm-bugs] [Bug 37150] New: Assertion failure in SimpleSValBuilder::evalBinOpNN()

[via llvm-bugs]

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

            Bug ID: 37150
           Summary: Assertion failure in SimpleSValBuilder::evalBinOpNN()
           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-SimpleSValBuilder__evalBinOpNN.c
a() {
  int b = c();
  b += sizeof(int);
  b += c();
}
$ ./clang-tidy -checks=-*,clang-analyzer* test-SimpleSValBuilder__evalBinOpNN.c
--
assertion failed at lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp:383 in
clang::ento::NonLoc doRearrangeUnchecked(clang::ento::ProgramStateRef,
BinaryOperator::Opcode, clang::ento::SymbolRef, llvm::APSInt,
clang::ento::SymbolRef, llvm::APSInt): APSIntType(LInt) ==
BV.getAPSIntType(SymTy) && "Integers are not of the same type as symbols!"
    @     __assert_fail
    @     (anonymous namespace)::SimpleSValBuilder::evalBinOpNN()
    @     clang::ento::SValBuilder::evalBinOp()
    @     clang::ento::ExprEngine::VisitBinaryOperator()
    @     clang::ento::ExprEngine::Visit()
    @     clang::ento::ExprEngine::ProcessStmt()
    @     clang::ento::ExprEngine::processCFGElement()
    @     clang::ento::CoreEngine::HandlePostStmt()
    @     clang::ento::CoreEngine::ExecuteWorkList()
    @     (anonymous namespace)::AnalysisConsumer::ActionExprEngine()
    @     (anonymous namespace)::AnalysisConsumer::HandleCode()
    @     (anonymous namespace)::AnalysisConsumer::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/20180417/32e40bfb/attachment.html>