tree 4f940da34153aaf8e2aea3b927aa82bd3dfd6e33
parent deac5617f0d2cb9c814673e6f2537e50b7c4b7db
author Christoffer Quist Adamsen <christofferqa@google.com> 1569396242 +0200
committer Christoffer Quist Adamsen <christofferqa@google.com> 1569397412 +0000

Update assertion in NonNullTracker to consider pinned fields

The failing assertion was checking that the non null tracker is now inserting the same amount of AssumeNotNull instructions as the member value propagation used to. However, this assertion failure actually witness that the member value propagation actually used to insert some AssumeNotNull instructions that were not safe.

Bug: 141549146
Change-Id: I290414ef0f8fa2d0e0b95653a10b2837292bcea2