[llvm-bugs] [Bug 37501] New: Assertion failure in clang::ento::ExprEngine::VisitLogicalExpr(...): N->pred_size() == 1

[via llvm-bugs]

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

            Bug ID: 37501
           Summary: Assertion failure in
                    clang::ento::ExprEngine::VisitLogicalExpr(...):
                    N->pred_size() == 1
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: dcoughlin at apple.com
          Reporter: alexfh at google.com
                CC: ekarpenkov at apple.com, llvm-bugs at lists.llvm.org,
                    noqnoqneo at gmail.com

$ cat test-ExprEngine__VisitLogicalExpr.c
a, c, d;
*b;
e() {
  for (;;) f(b[a] > (d < c ?: 0) || b[a] < (e < c ?: 0));
}
$ clang-tidy -checks=-*,clang-analyzer* test-ExprEngine__VisitLogicalExpr.c --
assertion failed at
llvm/tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp:664 in void
clang::ento::ExprEngine::VisitLogicalExpr(const clang::BinaryOperator *,
clang::ento::ExplodedNode *, clang::ento::ExplodedNodeSet &): N->pred_size() ==
1
    @     0x556be4198cb6  __assert_fail
    @     0x556be1f1dcf3  clang::ento::ExprEngine::VisitLogicalExpr()
    @     0x556be1ef5cce  clang::ento::ExprEngine::Visit()
    @     0x556be1ef168e  clang::ento::ExprEngine::ProcessStmt()
    @     0x556be1ef13ab  clang::ento::ExprEngine::processCFGElement()
    @     0x556be1f14f8e  clang::ento::CoreEngine::HandleBlockEntrance()
    @     0x556be1f1480e  clang::ento::CoreEngine::dispatchWorkItem()
    @     0x556be1f144bd  clang::ento::CoreEngine::ExecuteWorkList()
    @     0x556be1c4a0bc  (anonymous
namespace)::AnalysisConsumer::ActionExprEngine()
    @     0x556be1c49c36  (anonymous namespace)::AnalysisConsumer::HandleCode()
    @     0x556be1c359c4  (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/20180517/268ab0f6/attachment.html>