tree dc95317f768a2931fe0c588af526afbca532152a
parent f46bdfbb7c627c868bad1398bb11b8acc75b606d
author Martin Brænne <mboehme@google.com> 1684849437 -0700
committer Copybara-Service <copybara-worker@google.com> 1684849480 -0700

[nullability] Use `Strict` `Environment` accessors in pointer_nullability_analysis.cc.

Because this reorders the checks for `isGLValue()` and `isAnyPointerType()` in
`transferFlowSensitiveCallExpr()`, we expand the test to check that we can take
the address of a returned reference-to-pointer and that we still see the correct
nullability "behind" the reference.

PiperOrigin-RevId: 534407057