tree f28fb56c1b41daf8a0af6fdc4f861ef4b417eadd
parent 3f5afef60e509b388f53586327d695c0a6a1102c
author Martin Brænne <mboehme@google.com> 1698329920 -0700
committer Copybara-Service <copybara-worker@google.com> 1698329963 -0700

[nullability] Fix crash in `transferFlowSensitiveAccessorCall()`.

Need to use `dyn_cast_or_null` instead of `dyn_cast` because `getValue()` may
return null. (This patch adds a test that triggers this case.)

The new test exposed another issue: In the case where the line discussed above
sets `PointerVal` to null, we need to execute the fallback that calls
`getPointerValueFromExpr()` to ensure that we initialize the `PointerValue`'s
nullability properties. (The diagnosis expects every `PointerValue` to have
nullability properties set.)

PiperOrigin-RevId: 576862372
Change-Id: Ib6f4e7811cac534cb41c5f969f73ef802993499b