tree 264833969706925497a9a5d8d097c9a30aa4709b
parent a804e0b371bb5249745374a584f99a042b174e18
author Christoffer Quist Adamsen <christofferqa@google.com> 1568725342 +0200
committer Christoffer Quist Adamsen <christofferqa@google.com> 1568731758 +0000

Only add assume-not-null instructions for values with users

Change-Id: I8ec2a80d74961e8baf1a1caf61c9b4a6b3227cb8