[Piglit] Testing against undefined behaviour in asmparsertest/shaders/ARBvp1.0/address-06

Martin Andersson g02maran at gmail.com
Sat Jun 8 04:44:34 PDT 2013


The asmparsertest/shaders/ARBvp1.0/address-06.txt tests against
"constant array index offset too large" and expects it to fail.
Currently in mesa this does not cause the program to fail and based on
my reading of [1] this is the correct behaviour. The test uses
relative addressing for which out-of-bounds access is undefined, but
it does not say that the program should fail to load as it says about
out-of-bounds access with absolute addressing [1].

Section 2.14.4.2
<snip>
"If the computed offset is negative or exceeds the size of the array,
the results of the access are undefined, but may not lead to program
or GL termination."

I think the test should be expected to pass, or am I missing something?

//Martin

[1] http://www.opengl.org/registry/specs/ARB/vertex_program.txt


More information about the Piglit mailing list