reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h

  195   DefinedOrUnknownSVal makeZeroVal(QualType type);

References

tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

  275   DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
 1110                                svalBuilder.makeZeroVal(Ctx.getSizeType()));
 1298                             svalBuilder.makeZeroVal(CE->getType()));
 1325                                     svalBuilder.makeZeroVal(CE->getType()));
 1375       SVal zero = C.getSValBuilder().makeZeroVal(CE->getType());
 1950         svalBuilder.makeZeroVal(CE->getType()));
 2180   SVal Zero = C.getSValBuilder().makeZeroVal(C.getASTContext().IntTy);

tools/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp

  558     SVal V = C.getSValBuilder().makeZeroVal(RetTy);
  596     SVal V = C.getSValBuilder().makeZeroVal(RetTy);

tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

 1037     SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy);
 1174       SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);
 1192         Init = SB.makeZeroVal(SB.getContext().CharTy);
 1264       SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>();
 2506   SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);

tools/clang/lib/StaticAnalyzer/Checkers/SmartPtrModeling.cpp

   62                       C.getSValBuilder().makeZeroVal(Call.getResultType())));

tools/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp

  139   DefinedOrUnknownSVal Zero = svalBuilder.makeZeroVal(Ty);

tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

  259                                            svalBuilder.makeZeroVal(T),

tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp

  774     V = getSValBuilder().makeZeroVal(T);
  971       SVal X = svalBuilder.makeZeroVal(Ex->getType());
 1134         svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType()));
 1140                                        svalBuilder.makeZeroVal(U->getType()));

tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp

  479     SVal V = svalBuilder.makeZeroVal(Ctx.CharTy);
 1727               return svalBuilder.makeZeroVal(R->getElementType());
 1811             return svalBuilder.makeZeroVal(Ty);
 1831       return svalBuilder.makeZeroVal(Ty);
 2032       return svalBuilder.makeZeroVal(T);
 2213     V = svalBuilder.makeZeroVal(T);
 2217     V = svalBuilder.makeZeroVal(Ctx.IntTy);

tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp

  122     return makeZeroVal(T);
  142     return makeZeroVal(T);
  159     return makeZeroVal(type);
  177     return makeZeroVal(type);
  198     return makeZeroVal(T);
  226     return makeZeroVal(T);
  296     return makeZeroVal(E->getType());

tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

  840       return makeZeroVal(resultTy);

tools/clang/unittests/StaticAnalyzer/StoreTest.cpp

   44     SVal Zero = SVB.makeZeroVal(ACtx.IntTy);
   46     SVal NarrowZero = SVB.makeZeroVal(ACtx.CharTy);