Searched refs:assumeZero (Results 1 - 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 117 static assumeZero(CheckerContext &C,
212 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V, function in class:CStringChecker
231 llvm::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType());
895 assumeZero(C, state, sizeVal, sizeTy);
1048 assumeZero(C, state, sizeVal, sizeTy);
1132 assumeZero(C, state, maxlenVal, maxlenExpr->getType());
1407 assumeZero(C, state, *lenValNL, sizeTy);
|
Completed in 159 milliseconds