Paul Berry f1043ad932 Flow analysis: discard property promotions after writes/captures. ...

This change ensures that when a variable `x` is written to or
captured, promotions of its fields (e.g. `x.y`, `x.y.z`, etc.) are
cancelled.  This is necessary for soundness of field promotion.

There is no effect on production code, since field promotion is not
yet enabled.

Bug: https://github.com/dart-lang/language/issues/2020
Change-Id: Ic0739ca80cc2afe6188ada6209cb558d8cea9b63
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/254620
Commit-Queue: Paul Berry <paulberry@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>

2022-08-11 20:14:38 +00:00

..

assigned_variables/data

Flow analysis: ensure that not-yet-declared variables aren't marked as captured.

2022-01-11 15:42:04 +00:00

definite_assignment/data

Fix flow analysis handling of late variables with initializers.

2020-09-28 14:40:02 +00:00

definite_unassignment/data

Fix flow analysis of a late initializer that is an assignment expression

2020-10-02 12:09:08 +00:00

nullability/data

Add a flow analysis ID test of new constructor-tearoffs behaviors.

2021-09-07 21:39:46 +00:00

reachability/data

Make flow analysis handling of is/==/??=/?. consistent with mixed mode semantics

2020-09-25 08:35:03 +00:00

type_promotion/data

Flow analysis: Pin down initialization behaviors before fixing #1785.

2021-08-25 20:32:02 +00:00

why_not_promoted/data

Flow analysis: implement "why not promoted" for binary/unary operator target.

2021-04-22 12:21:46 +00:00

assigned_variables_test.dart

Flow analysis: break up libraries.

2022-08-11 13:18:52 +00:00

flow_analysis_mini_ast.dart

Flow analysis: break up libraries.

2022-08-11 13:18:52 +00:00

flow_analysis_test.dart

Flow analysis: discard property promotions after writes/captures.

2022-08-11 20:14:38 +00:00