Alexander Markov f7a45a39e9 [vm/aot/tfa] Infer non-nullability of receiver after calls ...

This change further improves control-flow sensitive handling of
local variables when building data-flow summary in TFA.

After the invocation x.foo() where x is a variable, and
foo is not present in Null, we can infer that subsequent uses of x are
non-nullable.

Also, this change improves inference of variable types after type casts.

Change-Id: I4924de4dd4c18b80fbe0436db895c1c1f2b6fffe
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/133480
Commit-Queue: Alexander Markov <alexmarkov@google.com>
Reviewed-by: Martin Kustermann <kustermann@google.com>

2020-01-28 19:20:28 +00:00

..

bytecode

[VM/nnbd] Pass nnbd mode from compiler via generated code or bytecode to runtime functions performing type checks or type reification.

2019-12-20 03:26:29 +00:00

transformations

[vm/aot/tfa] Infer non-nullability of receiver after calls

2020-01-28 19:20:28 +00:00