tree e5dbebaf7d5260f7ac2e94399d452d6570577cb1
parent a90de3d6ffe10d291d7d3fe844a20889472204bd
author Dani Ferreira Franco Moura <danimoura@google.com> 1669720375 -0800
committer Copybara-Service <copybara-worker@google.com> 1669720410 -0800

Create pointer nullability lattice.

We hope to make use of the Clang Dataflow Analysis framework to propagate nullability annotations (for example, on assignment of template-instantiated values). For this, we will alter the lattice used in pointer nullability analysis to contain maps from expressions and variable declarations to nullability annotations. This change introduces a custom lattice to the pointer nullability analysis. This lattice is still undistinguishable from a NoopLattice (we will add more functionality on a subsequent change).

PiperOrigin-RevId: 491586319