[llvm-bugs] [Bug 38273] New: clang-tidy: Assertion `Loc::isLocType(SSE->getRHS()->getType())' failed

via llvm-bugs llvm-bugs at lists.llvm.org
Mon Jul 23 03:27:53 PDT 2018


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

            Bug ID: 38273
           Summary: clang-tidy: Assertion
                    `Loc::isLocType(SSE->getRHS()->getType())' failed
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: dcoughlin at apple.com
          Reporter: karl-johan.karlsson at ericsson.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 20589
  --> https://bugs.llvm.org/attachment.cgi?id=20589&action=edit
RUN: clang-tidy -checks='clang-analyzer-*' reduced.c --

$ clang-tidy -checks='clang-analyzer-*' reduced.c --
clang-tidy:
../tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:347: virtual
bool (anonymous
namespace)::RangeConstraintManager::canReasonAbout(clang::ento::SVal) const:
Assertion `Loc::isLocType(SSE->getRHS()->getType())' failed.
Aborted (core dumped)

-- 
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/20180723/89227060/attachment.html>


More information about the llvm-bugs mailing list