Lines Matching defs:Reg
670 if (const MemRegion *Reg = V.getAsRegion())
671 return isTainted(Reg, Kind);
675 bool ProgramState::isTainted(const MemRegion *Reg, TaintTagType K) const {
676 if (!Reg)
681 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Reg))
684 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg))
687 if (const SubRegion *ER = dyn_cast<SubRegion>(Reg))
732 DynamicTypeInfo ProgramState::getDynamicTypeInfo(const MemRegion *Reg) const {
733 Reg = Reg->StripCasts();
736 const DynamicTypeInfo *GDMType = get<DynamicTypeMap>(Reg);
741 if (const TypedRegion *TR = dyn_cast<TypedRegion>(Reg))
744 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) {
752 ProgramStateRef ProgramState::setDynamicTypeInfo(const MemRegion *Reg,
754 Reg = Reg->StripCasts();
755 ProgramStateRef NewState = set<DynamicTypeMap>(Reg, NewTy);