Home | History | Annotate | Download | only in Core

Lines Matching refs:SymMgr

51   return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type));
59   return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type));
66   return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type));
73   return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy));
104   SymbolRef sym = SymMgr.getRegionValueSymbol(region);
141   SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag);
160   SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount);
178   SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount);
189       SymMgr.getMetadataSymbol(region, expr, type, count, symbolTag);
208   SymbolRef sym = SymMgr.getDerivedSymbol(parentSymbol, region);