tree 5829b9494fdcb118994ecb2b4ecc36c968af13f5
parent 204c3f88bb2e2c92b103b0cfbf4e0a4863c12c87
author Yi Liu <yi@quantstamp.com> 1771364984 +0800
committer GitHub <noreply@github.com> 1771364984 -0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJplOJ4CRC1aQ7uu5UhlAAAa/YQAFfXZl9mqFjaOOG7a5ueL3N3
 ioJygtFNglCezZ1JTIZo5bCOyDxwB10JVulr/LWSfVnmrb+cefJNG+lw4or0Hf7C
 VyDo7qIsjI5/X3kaotvgrJoYnlE5QzvDEXtcgXQ/RBBjQUU8ID+WIjvjaX+u6hnx
 Q7nB9rZT62GM6mnevzrDzPrYeQ9uYwEVz08nTgQKjXZhR7FeZ/9QOpBiinyAYCIM
 UYt2jK8Ywv8/+8GnRyH4gDbP+P/KaXijndVGWqlgz96XuxClI1TsGMgchpX6YQpx
 dlU6JST0dcZvU6dly+Z/PwojGcjGCdaHPFCWufCedQ5zW2NXzGOWRn1Yfy5hWk2D
 bbK06SjOKtTZw2W5SHDr774+CQcU7b3nnOuQuvv56jZRZKlBywf3BxVa+1yK7Gvz
 ft3j1lA1thdrTwV3C4UuerjpEOqJRd9oLSR1ZndtqqH7UVnLC6jG6eflVGHmV2PK
 dWgDcxnhvYWGQUq2sBBvUKt1RKaqIMglVw+aBiHBpXkmqER7wK9+6LNNlMq1+OYY
 PC5XCwbAk9q6qmlZBMx+sFfaDqWlr7U8PM/2x5/vHisrEetzHRYKElAWZkgQaClx
 JPoy3glXBRb7CdA0DTSWd3v/SLaAT2SfIC0fLjKlp0LTOp3hC8dmhN3cJw5PE3iV
 6oWVQnYJfEvhn7+I0jE1
 =DR9/
 -----END PGP SIGNATURE-----
 

Fix Precompute visitArrayGet missing memory ordering check (#8327)

- `visitStructGet` in the precompute pass correctly checks `MemoryOrder`
before allowing precomputation of immutable fields—blocking `SeqCst`
entirely and blocking shared `AcqRel`—but `visitArrayGet` skipped this
check.
- This causes `array.atomic.get` with `SeqCst` or `AcqRel` ordering on
immutable array elements to be incorrectly constant-folded, removing
synchronization semantics.
- Added the same `MemoryOrder` switch to `visitArrayGet` matching the
existing pattern in `visitStructGet`.