tree 3ae7f65a6ab7e4adfe7fabef081969b10cf3340c
parent 87deb6fb78b58a5da4589b2ea32a62c2c5552521
author Christoffer Quist Adamsen <christofferqa@google.com> 1680159475 +0200
committer Christoffer Adamsen <christofferqa@google.com> 1680458172 +0000

Use field-never-read-before-write analysis in field assignment tracker

This refactors the current analysis from `FieldValueAnalysis` into its own class `FieldReadBeforeWriteAnalysis` to allow reusing the analysis in the `FieldAssignmentTracker`.

Fixes: b/274802355
Change-Id: I9debd6b0af9cf04fdffa1d9332743c504db59988