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

References

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

  931                           SvalBuilder.makeIntVal(0, (*CountS)->getType()),

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

   85   DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy);
  121   DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy);

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

  124         V = SVB.makeIntVal(0, CE->getType());

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

  408   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
  829     return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy);
  909   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
 1668         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
 2009         resultVal = svalBuilder.makeIntVal(compareRes, CE->getType());
 2012         DefinedSVal zeroVal = svalBuilder.makeIntVal(0, CE->getType());

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

  237   V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy));

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

 1022       .makeIntVal(KernelZeroFlagVal.getValue(), FlagsEx->getType())

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

  239       .makeIntVal(Val_O_CREAT.getValue(), oflagsEx->getType()).castAs<NonLoc>();

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

  162   SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);

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

  124   DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy);

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

 2949         SVal Val = svalBuilder.makeIntVal(1U, Ex->getType());
 2956         SVal Val = svalBuilder.makeIntVal(0U, Ex->getType());

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

  706     X = svalBuilder.makeIntVal(constant, B->getType());
  899                             svalBuilder.makeIntVal(amt.getQuantity(),
 1109       RHS = svalBuilder.makeIntVal(1, U->getType());

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

   75           V = svalBuilder.makeIntVal(0, T);

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

  177   return svalBuilder.makeIntVal(size.getQuantity(), sizeTy);
  208   return svalBuilder.makeIntVal(getStringLiteral()->getByteLength()+1,

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

 1416   return svalBuilder.makeIntVal(RegionSize / EleSize,
 1702       return svalBuilder.makeIntVal(c, T);

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

   57     return makeIntVal(0, type);
  312     return makeIntVal(C->getValue(), C->getType());
  504       makeIntVal(ToTypeMax.isUnsigned() ? ToTypeMax.getZExtValue()

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

  231       return makeIntVal(0, resultTy);
  249       return makeIntVal(0, resultTy);
  263       return makeIntVal(0, resultTy);
  527           return makeIntVal(0, resultTy);

tools/clang/unittests/StaticAnalyzer/StoreTest.cpp

   45     SVal One = SVB.makeIntVal(1, ACtx.IntTy);