reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
200 if (Type == Ref && !(RefI == V.RefI)) 230 if (Type == Ref && RefI == Self) // Bottom.meet(V) = Bottom (i.e. This)