[analyzer] Fix crash when analyzing C++ code.
llvm-svn: 125963
This commit is contained in:
parent
9ba479bd2c
commit
ec016464ca
|
@ -39,6 +39,7 @@ public:
|
|||
|
||||
void VisitCastExpr(CastExpr *E);
|
||||
void VisitCXXConstructExpr(CXXConstructExpr *E);
|
||||
void VisitCXXMemberCallExpr(CXXMemberCallExpr *E);
|
||||
};
|
||||
}
|
||||
|
||||
|
@ -48,6 +49,7 @@ void AggExprVisitor::VisitCastExpr(CastExpr *E) {
|
|||
assert(0 && "Unhandled cast kind");
|
||||
case CK_NoOp:
|
||||
case CK_ConstructorConversion:
|
||||
case CK_UserDefinedConversion:
|
||||
Visit(E->getSubExpr());
|
||||
break;
|
||||
}
|
||||
|
@ -57,6 +59,10 @@ void AggExprVisitor::VisitCXXConstructExpr(CXXConstructExpr *E) {
|
|||
Eng.VisitCXXConstructExpr(E, Dest, Pred, DstSet);
|
||||
}
|
||||
|
||||
void AggExprVisitor::VisitCXXMemberCallExpr(CXXMemberCallExpr *E) {
|
||||
Eng.VisitCXXMemberCallExpr(E, Pred, DstSet);
|
||||
}
|
||||
|
||||
void ExprEngine::VisitAggExpr(const Expr *E, const MemRegion *Dest,
|
||||
ExplodedNode *Pred, ExplodedNodeSet &Dst) {
|
||||
AggExprVisitor(Dest, Pred, Dst, *this).Visit(const_cast<Expr *>(E));
|
||||
|
|
|
@ -5,3 +5,17 @@ int f1(char *dst) {
|
|||
char *q = dst + 3;
|
||||
return !(q >= p);
|
||||
}
|
||||
|
||||
namespace {
|
||||
|
||||
struct A { };
|
||||
struct B {
|
||||
operator A();
|
||||
};
|
||||
|
||||
A f(char *dst) {
|
||||
B b;
|
||||
return b;
|
||||
}
|
||||
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue