[llvm-bugs] [Bug 25420] New: Assertion failed `!haveRefTypeParam || DV->getAs<Loc>()'

[via llvm-bugs]

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

            Bug ID: 25420
           Summary: Assertion failed `!haveRefTypeParam ||
                    DV->getAs<Loc>()'
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: alexfh at google.com
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

$ cat sa2.cc
class x0 {};
class x1 : x0 {};
template <typename> class x2;
template <typename x3> class x4 {
protected:
  static x3 *x5(int);
};
template <typename, typename> class x6;
template <typename x7, typename x3, typename... x8>
class x6<x7(x8...), x3> : x4<x3> {
public:
  static x7 x9() { (*x4<x3>::x5(0))(); }
};
template <typename x7, typename... x8> class x2<x7(x8...)> {
  template <typename, typename x10> using x11 = x10;

public:
  template <typename x3, typename = x11<x3, void>> x2(x3);
};
template <typename x7, typename... x8>
template <typename x3, typename>
x2<x7(x8...)>::x2(x3) {
  x6<x7(), x3>::x9;
}
template <typename x12> void x13(x12);
void x14(x1 &x15) {
  x2<void()>([x15] { x13(x15); });
}
$ clang-tidy -checks=-*,clang-analyzer*,-clang-analyzer-alpha* sa2.cc --
-std=c++11
clang-tidy:
llvm/tools/clang/lib/StaticAnalyzer/Checkers/NonNullParamChecker.cpp:102: void
(anonymous namespace)::NonNullParamChecker::checkPreCall(const
clang::ento::CallEvent &, clang::ento::CheckerContext &) const: Assertion
`!haveRefTypeParam || DV->getAs<Loc>()' 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/20151105/b2de05ae/attachment.html>