tree 021191689a6dbacaed43e510ed6e5f71c4802c0d
parent 44b0356b65ab24779a8051c8f4dd50b0186437a8
author Morten Krogh-Jespersen <mkroghj@google.com> 1556283963 +0200
committer Morten Krogh-Jespersen <mkroghj@google.com> 1556283963 +0200

Add Assume from progagated values that is never null

Before this would be a destructive update in the type lattice. After
this CL all explicit value narrowing will be done by the type
analysis.

Change-Id: Ifb81f0037fcd30415778940c60454a68499fa708