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

Lines Matching refs:StateZeroSize

1890         ProgramStateRef StateZeroSize, StateNonZeroSize;  in evalStrcpyCommon()  local
1891         std::tie(StateZeroSize, StateNonZeroSize) =  in evalStrcpyCommon()
1895         if (StateZeroSize && !StateNonZeroSize) {  in evalStrcpyCommon()
1897             StateZeroSize =  in evalStrcpyCommon()
1898                 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, DstVal);  in evalStrcpyCommon()
1902               StateZeroSize = StateZeroSize->BindExpr(Call.getOriginExpr(),  in evalStrcpyCommon()
1908               StateZeroSize =  in evalStrcpyCommon()
1909                   StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, retSize);  in evalStrcpyCommon()
1912           C.addTransition(StateZeroSize);  in evalStrcpyCommon()
2438   ProgramStateRef StateZeroSize, StateNonZeroSize;  in evalBzero()  local
2439   std::tie(StateZeroSize, StateNonZeroSize) =  in evalBzero()
2444   if (StateZeroSize && !StateNonZeroSize) {  in evalBzero()
2445     C.addTransition(StateZeroSize);  in evalBzero()