reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
383 TR = MRMgr.getCXXStaticTempObjectRegion(Init); 385 TR = MRMgr.getCXXTempObjectRegion(Init, LC); 389 TR = MRMgr.getCXXTempObjectRegion(Init, LC); 422 SVal InitVal = State->getSVal(Init, LC); 424 InitVal = getSValBuilder().conjureSymbolVal(Result, LC, Init->getType(),