We statically established the statement in the synopsis line above. This allowed for some simplification in the cache filling code: the code to skip over NULL regions could be dropped entirely and replaced by an assertion that a NULL was never encountered in the _markedRegionsArray. This allowed some further simplifications, see Suggested Fix section. We also deleted some unused methods (dead code). The code was tested with JPRT and refworkload.
|