Home | History | Annotate | Download | only in exp-sgcheck

Lines Matching full:intersect

1152       convert all Inv_Global entries that intersect [a,a+len) to
1241    all Inv_Heap Invars that intersect [a,a+len) to Inv_Unknown.  If