Lines Matching full:know
700 // If this is a tail call and Loc.Ptr points to a stack location, we know that
776 // We know that memset doesn't load anything.
876 /// against another pointer. We know that V1 is a GEP, but we don't know
960 // pointer, we know they cannot alias.
998 // is less than the size of the associated memory object, then we know
1000 // greater, we know they do not overlap.
1053 // Otherwise, we don't know anything.
1210 // If V1/V2 point to two different objects we know that we have no alias.
1231 // non-escaping local object within the same function, then we know the
1246 // side, then we know such behavior is undefined and can assume no alias.
