Fix verification in robust buffer access tests
authorDae Kim <dae.kim@imgtec.com>
Tue, 20 Feb 2018 13:37:39 +0000 (13:37 +0000)
committerDae Kim <dae.kim@imgtec.com>
Fri, 23 Feb 2018 09:18:35 +0000 (09:18 +0000)
commitc4ce325f163cc100a94b2972e31255d5271fcfcb
tree05564a944255e57658d32d4106cd197657fe98a9
parent9b78eca92b81f6c6628496d23641b1710bd90096
Fix verification in robust buffer access tests

Some buffer accesses to addresses less than 16 bytes away from the out
of bounds address where not considered potentially out of bounds, even
when there were out of bounds accesses in the same SPIR-V block.

Affects:

dEQP-VK.robustness.buffer_access.*:

Components: Vulkan

VK-GL-CTS issue: 1025

Change-Id: Ibcb61fb84cecc360d753ba5d3acc1f9d48169651
external/vulkancts/modules/vulkan/robustness/vktRobustnessBufferAccessTests.cpp