diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2013-07-25 17:22:02 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2013-07-25 17:22:02 +0000 |
| commit | 783b11b5df6318fd0bd01b3691ee5cd836ce5b0c (patch) | |
| tree | ccb11ca22838bf94a118770454f318b631960acf /clang/lib/StaticAnalyzer/Core/SValBuilder.cpp | |
| parent | d6107f29686a659b18509cb05fbcee0b7a99bbfa (diff) | |
| download | bcm5719-llvm-783b11b5df6318fd0bd01b3691ee5cd836ce5b0c.tar.gz bcm5719-llvm-783b11b5df6318fd0bd01b3691ee5cd836ce5b0c.zip | |
[analyzer] Weaken assertion to account for pointer-to-integer casts.
PR16690
llvm-svn: 187132
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/SValBuilder.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/SValBuilder.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp b/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp index 1992abbf4c3..6df8a901f42 100644 --- a/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp +++ b/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp @@ -412,7 +412,7 @@ SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { return makeNonLoc(Sym, BO_NE, BVF.getValue(0, Sym->getType()), castTy); } - assert(val.getAs<Loc>()); + assert(val.getAs<Loc>() || val.getAs<nonloc::LocAsInteger>()); return makeTruthVal(true, castTy); } |
