CStringChecker.cpp - OpenGrok cross reference for /llvm-project/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

Lines Matching defs:StateZeroSize

2043         ProgramStateRef StateZeroSize, StateNonZeroSize;
2044         std::tie(StateZeroSize, StateNonZeroSize) =
2048         if (StateZeroSize && !StateNonZeroSize) {
2050             StateZeroSize =
2051                 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, DstVal);
2055               StateZeroSize = StateZeroSize->BindExpr(Call.getOriginExpr(),
2061               StateZeroSize =
2062                   StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, retSize);
2065           C.addTransition(StateZeroSize);
2591   ProgramStateRef StateZeroSize, StateNonZeroSize;
2592   std::tie(StateZeroSize, StateNonZeroSize) =
2597   if (StateZeroSize && !StateNonZeroSize) {
2598     C.addTransition(StateZeroSize);