The compiler verifies the access region design in … upper bounds for each pointer and array index … memory that the procedure directly accesses via load … [p. 156] the compiler checks the following two conditions: … and 2. the design access regions for each …
Google-1
Google-2
Copyright clearance needed for quotation.