Lines Matching refs:DefinedOrUnknownSVal

1098   if (Optional<DefinedOrUnknownSVal> DefinedSize =  in MallocMemAux()
1099           Size.getAs<DefinedOrUnknownSVal>()) {  in MallocMemAux()
1101     DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);  in MallocMemAux()
1102     DefinedOrUnknownSVal extentMatchesSize =  in MallocMemAux()
1310   if (!ArgVal.getAs<DefinedOrUnknownSVal>())  in FreeMemAux()
1312   DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>();  in FreeMemAux()
1889   if (!Arg0Val.getAs<DefinedOrUnknownSVal>())  in ReallocMem()
1891   DefinedOrUnknownSVal arg0Val = Arg0Val.castAs<DefinedOrUnknownSVal>();  in ReallocMem()
1895   DefinedOrUnknownSVal PtrEQ =  in ReallocMem()
1905   if (!Arg1ValG.getAs<DefinedOrUnknownSVal>())  in ReallocMem()
1907   DefinedOrUnknownSVal Arg1Val = Arg1ValG.castAs<DefinedOrUnknownSVal>();  in ReallocMem()
1910   DefinedOrUnknownSVal SizeZero =  in ReallocMem()