[llvm-bugs] [Bug 37578] New: llvm_unreachable in RegionStoreManager::getBindingForDerivedDefaultValue()

[via llvm-bugs]

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

            Bug ID: 37578
           Summary: llvm_unreachable in
                    RegionStoreManager::getBindingForDerivedDefaultValue()
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: dcoughlin at apple.com
          Reporter: ibiryukov at google.com
                CC: ekarpenkov at apple.com, llvm-bugs at lists.llvm.org,
                    noqnoqneo at gmail.com

$ cat test-RegionStoreManager__getBindingForDerivedDefaultValue.cc
union a {
  struct {
    int b;
  };
};
template <class>
class c {
 public:
  void d() const {
    long e;
    void f();
    f ? a().b : e;
  }
};
class g {
  void h() const;
  c<int> i;
};
void g::h() const { i.d(); }
$ ./clang-tidy -checks=-*,clang-analyzer*
test-RegionStoreManager__getBindingForDerivedDefaultValue.cc -- -std=c++11
Unknown default value
UNREACHABLE executed at
llvm/tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp:1751!
PC: @     0x7f9d7436e602  (unknown)  raise
    @     0x55ae2f41c3b9       1568  FailureSignalHandler()
    @     0x7f9d744dd9a0  757516208  (unknown)
    @     0x55ae2e43f3dd         64  llvm::llvm_unreachable_internal()
    @     0x55ae2d0fe24c         80  (anonymous
namespace)::RegionStoreManager::getBindingForDerivedDefaultValue()
    @     0x55ae2d0fdc56        144  (anonymous
namespace)::RegionStoreManager::getBindingForFieldOrElementCommon()
    @     0x55ae2d0fa645         96  (anonymous
namespace)::RegionStoreManager::getBindingForField()
    @     0x55ae2d0f9f54         64  (anonymous
namespace)::RegionStoreManager::getBinding()
    @     0x55ae2d0f3ae4         64  (anonymous
namespace)::RegionStoreManager::getBinding()
    @     0x55ae2d11cac6         96  clang::ento::ProgramState::getSVal()
    @     0x55ae2d1706d2        288  clang::ento::ExprEngine::evalLoad()
    @     0x55ae2d18d81c        688  clang::ento::ExprEngine::VisitCast()
    @     0x55ae2d16657b        784  clang::ento::ExprEngine::Visit()
    @     0x55ae2d16368e        416  clang::ento::ExprEngine::ProcessStmt()
    @     0x55ae2d1633ab         96 
clang::ento::ExprEngine::processCFGElement()
    @     0x55ae2d187065         48  clang::ento::CoreEngine::HandlePostStmt()
    @     0x55ae2d1864bd        320  clang::ento::CoreEngine::ExecuteWorkList()
    @     0x55ae2cebc0bc       1216  (anonymous
namespace)::AnalysisConsumer::ActionExprEngine()
    @     0x55ae2cebbc36        288  (anonymous
namespace)::AnalysisConsumer::HandleCode()
    @     0x55ae2cea79c4        432  (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/20180524/f6a87b7b/attachment.html>