effects: fix correctness issues of `:consistent`-cy analysis#46111

Merged

aviatesk merged 2 commits intomasterfrom avi/correct-consistent

Jul 25, 2022

+196-10

Commits on Jul 24, 2022

effects: taint :consistent-cy on :the_exception expression
aviatesk
committed
effects: taint :consistent-cy on allocation/access of uninitialized fields
aviatesk
committed