Searched defs:assumeZero (Results 1 - 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 123 static assumeZero(CheckerContext &C,
207 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V, function in class:CStringChecker
226 std::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType());
921 assumeZero(C, state, sizeVal, sizeTy);
1078 assumeZero(C, state, sizeVal, sizeTy);
1163 assumeZero(C, state, maxlenVal, maxlenExpr->getType());
1433 assumeZero(C, state, *lenValNL, sizeTy);
|
Completed in 130 milliseconds