Lines Matching refs:DefinedOrUnknownSVal

1110   if (Optional<DefinedOrUnknownSVal> DefinedSize =  in MallocMemAux()
1111           Size.getAs<DefinedOrUnknownSVal>()) {  in MallocMemAux()
1113     DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);  in MallocMemAux()
1114     DefinedOrUnknownSVal extentMatchesSize =  in MallocMemAux()
1322   if (!ArgVal.getAs<DefinedOrUnknownSVal>())  in FreeMemAux()
1324   DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>();  in FreeMemAux()
1905   if (!Arg0Val.getAs<DefinedOrUnknownSVal>())  in ReallocMem()
1907   DefinedOrUnknownSVal arg0Val = Arg0Val.castAs<DefinedOrUnknownSVal>();  in ReallocMem()
1911   DefinedOrUnknownSVal PtrEQ =  in ReallocMem()
1921   if (!Arg1ValG.getAs<DefinedOrUnknownSVal>())  in ReallocMem()
1923   DefinedOrUnknownSVal Arg1Val = Arg1ValG.castAs<DefinedOrUnknownSVal>();  in ReallocMem()
1926   DefinedOrUnknownSVal SizeZero =  in ReallocMem()