Searched refs:LocReg (Results 1 – 1 of 1) sorted by relevance
3744 const MemRegion *LocReg = nullptr; in evalBind() local3747 LocReg = LocRegVal->getRegion(); in evalBind()3750 const ProgramPoint L = PostStore(StoreE, LC, LocReg, nullptr); in evalBind()