Searched refs:TrueState (Results 1 - 2 of 2) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MallocChecker.cpp | 1032 ProgramStateRef TrueState, FalseState; local
1033 std::tie(TrueState, FalseState) = State->assume(MaskedFlags);
1036 if (TrueState && !FalseState) {
1038 return MallocMemAux(C, CE, CE->getArg(0), ZeroVal, TrueState);
1261 ProgramStateRef TrueState, FalseState;
1266 std::tie(TrueState, FalseState) =
1269 if (TrueState && !FalseState) {
1277 return TrueState->set<RegionState>(Sym,
1286 return TrueState->add<ReallocSizeZeroSymbols>(Sym);
|
| H A D | CStringChecker.cpp | 1650 ProgramStateRef TrueState, FalseState; local
1651 std::tie(TrueState, FalseState) =
1655 if (TrueState && !FalseState) {
1660 if (!TrueState && FalseState) {
1664 if (TrueState && FalseState)
|
Completed in 137 milliseconds