Skip to content

GPU-AV: Add Shared Memory OOB checks #11773

Description

@spencer-lunarg

Basically catch case such as

shared uint x[4];

x[index] = 0;

which are not currently being detected

Since, unlike SSBO/UBO, shared memory is not "bound" we know anything declared is valid. We could make it simple at first and only check for Arrays and LongVectors having dynamic accesses OOB

Metadata

Metadata

Labels

IncompleteMissing Validation VUs to be added

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions