tree 60de729fd3de45a13f07f287b38b571526c150e8
parent b74199a22d4fab6274f2dadd8803854c2a34d763
author Alastair Donaldson <afdx@google.com> 1587993894 +0100
committer GitHub <noreply@github.com> 1587993894 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJept0nCRBK7hj4Ov3rIwAAdHIIAEeR8kOoTD0ENUIfvxRLHe7e
 vYJL8mIIMgc6qF7/GeP66jc+O0a6WYH9xfCht+Q5eaMitg9n+gBWWg9WIZcLmNan
 oBaFGifwkXCNU6L3oAH1ouvj6q1xmCxwv3iwSMbTDrZzsaI7o+a1wBlJwfSnICHG
 8AxIsQMEMEeFWQMZm1rbuP9+1mltPaPj1oyXEQwz/tx4lVkGjjuALfSMVirPhRrw
 xy7IyxAMAyNQTKma12vJdEXtWvwJEUR2XzMwBy3pFaoEXWkqFw9QOrslZ7045YaL
 i3iVdDZiqcGcun98pL3uLCuqf3kWrjctnHcVcnbUeJA8Ec8w4ypNIHaU5ayrWQA=
 =AlJe
 -----END PGP SIGNATURE-----
 

spirv-fuzz: Clamp statically out-of-bounds accesses in code donation (#3315)

It has been resolved that statically out-of-bounds accesses are not
invalid in SPIR-V (they lead to undefind behaviour at runtime but
should not cause a module to be rejected during validation).  This
change tolerates such accesses in donated code, clamping them in-bound
as part of making a function live-safe.