Home | History | Annotate | Download | only in Analysis

Lines Matching full:symbolic

4 // If a.s1 region has a symbolic offset, the whole region of 'a' is invalidated.
334 // Test array with a symbolic offset.
367 // Test array with its super region having symbolic offseted regions.
403 // Test array's region and super region both having symbolic offsets.
472 // Test region with potential aliasing and symbolic offsets.
504 // Test size with symbolic size argument.
566 // Test casting regions with symbolic offseted sub regions.
738 // Test dest buffer as an element region with a symbolic index and size parameter as a symbolic value.