Jim Blandy

Naga doesn't check that subexpressions have been emitted.

2

Naga doesn't check that each subexpression of an expression used by a statement has been covered by an `Emit` statement. When added to `naga/tests/validation.rs`, the following test should pass, but...

[naga] Validate that all order-sensitive expressions are emitted.

1

Ensure that every expression whose value is affected by statements' side effects is covered by an `Emit` statement. See the comments on `Expression::is_order_sensitive` for details. Fixes #5763.

Naga blows its stack given too many parens, rather than returning an error

2

The following input causes the Naga front end to abort due to a stack overflow, instead of returning an error: ``` fn f() { return (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((( ``` This is a...

Naga validation checks the type of `AtomicResult` expressions both when it visits the `Atomic` statement in `validate_block_impl`, and when it again visit the `AtomicResult` expression directly in `validate_expression`. It should...

Consider raising `maxStorageBuffersPerShaderStage`

3

We should check whether it's feasible to raise `maxStorageBuffersPerShaderStage`, since this is something people are running into in the wild: