Searched defs:PointeeVal (Results 1 – 2 of 2) sorted by relevance
709 Value *PointeeVal = createValueUnlessSelfReferential( in createValueUnlessSelfReferential() local726 Value *PointeeVal = createValueUnlessSelfReferential( in createValueUnlessSelfReferential() local
561 SVal PointeeVal = State->getSVal(ArgRegion); in updateOutParameters() local