Searched refs:SymbolicEnvPtrRegion (Results 1 – 1 of 1) sorted by relevance
96 const MemRegion *SymbolicEnvPtrRegion = State->get<EnvPtrRegion>(); in REGISTER_SET_WITH_PROGRAMSTATE() local97 if (!SymbolicEnvPtrRegion) in REGISTER_SET_WITH_PROGRAMSTATE()100 State = State->add<InvalidMemoryRegions>(SymbolicEnvPtrRegion); in REGISTER_SET_WITH_PROGRAMSTATE()103 C.getNoteTag([SymbolicEnvPtrRegion, FunctionName]( in REGISTER_SET_WITH_PROGRAMSTATE()105 if (!BR.isInteresting(SymbolicEnvPtrRegion)) in REGISTER_SET_WITH_PROGRAMSTATE()