Lines Matching full:assumed
1996 // If a symbolic region is assumed to NULL (or another constant), stop tracking
2003 // If the symbol is assumed to be NULL, remove it from consideration.
2014 // If the symbol is assumed to be NULL, remove it from consideration.
