Skip to content

GPU-AV: Add Shared Memory OOB checks #11773

@spencer-lunarg

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

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions