[analyzer] Assert that StmtPoint should be created with a non-null Stmt.

llvm-svn: 163358
This commit is contained in:
Anna Zaks 2012-09-06 23:30:29 +00:00
parent a2f970baa6
commit 772ee1ebad
1 changed files with 3 additions and 1 deletions

View File

@ -213,7 +213,9 @@ class StmtPoint : public ProgramPoint {
public:
StmtPoint(const Stmt *S, const void *p2, Kind k, const LocationContext *L,
const ProgramPointTag *tag)
: ProgramPoint(S, p2, k, L, tag) {}
: ProgramPoint(S, p2, k, L, tag) {
assert(S);
}
const Stmt *getStmt() const { return (const Stmt*) getData1(); }