tree 89db434405752ddbaf2eed2e9aed2db605bbe0e7
parent f545410e64c67a57bbeb48fa0e29116c60c0a21f
author James Price <jrprice@google.com> 1705083048 +0000
committer Dawn LUCI CQ <dawn-scoped@luci-project-accounts.iam.gserviceaccount.com> 1705083048 +0000

[tint][uniformity] Fix nested LValue expressions

When an LValue is a dereferenced pointer, we were cutting the analysis
short instead of descending into nested expressions that may contain
uniformity violations or affect the uniformity of the parent.

This CL adds an `is_dereferencing` parameter to
`ProcessLValueExpression()` to track whether we are currently
dereferencing, and moves the logic for partial pointers to the
handling of the root identifier expression. This unifies the logic in
the three different expressions that can cause derefences (unary *,
index accessors, and member accessors).

Bug: tint:2113, tint:2053
Fixed: tint:2139
Change-Id: Ia55b5345590c41ea1b162112ac2545c69a95ba75
Reviewed-on: https://dawn-review.googlesource.com/c/dawn/+/169265
Commit-Queue: James Price <jrprice@google.com>
Reviewed-by: Antonio Maiorano <amaiorano@google.com>
Kokoro: Kokoro <noreply+kokoro@google.com>