|
|
Every load in this audit used two disjoint allocations, so aliasing was untested even
though it is where a loader that copies the image out and then treats an overlapping
region as the command buffer would fail.
With the buffer equal to the image address, placed inside the image, and with the image
placed inside the command region, every arrangement loads and invokes normally with no
stall, and the processor is healthy afterwards, so the loader copies the image out before
the buffer is used and overlap is harmless.
Aliasing joins the list of correctly handled cases and the objective is not met.
|
