Lines Matching refs:getSVal
121 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), false, PthreadSemantics);
125 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), false, XNUSemantics);
129 AcquireLock(C, CE, C.getSVal(CE->getArg(0)),
134 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), true, XNUSemantics);
139 ReleaseLock(C, CE, C.getSVal(CE->getArg(0)));
141 DestroyLock(C, CE, C.getSVal(CE->getArg(0)), PthreadSemantics);
143 DestroyLock(C, CE, C.getSVal(CE->getArg(0)), XNUSemantics);
145 InitLock(C, CE, C.getSVal(CE->getArg(0)));
229 SVal X = C.getSVal(CE);
365 SymbolRef sym = C.getSVal(CE).getAsSymbol();