Files

T

Paul Berry 53e707f26d Flow analysis: don't consider a foreach-declared variable to be written to.

When performing flow analysis for a "for each" loop such as `for (var
x in ...) { ... }`, we don't need to consider the iterated value to be
"written to" the variable `x`, since the actual runtime semantics are
to create a fresh instance of the variable `x` each time through the
loop, initialized to the iterated value.

Fixes #43136.

Bug: https://github.com/dart-lang/sdk/issues/43136
Change-Id: I497c408c3efc26e93502de8ba0530bb5278e74c6
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/162581
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>

2020-09-16 19:07:58 +00:00

lib/src

Flow analysis: propagate types of interest out of "for" and "while" loops.

2020-09-14 14:33:39 +00:00

test

Flow analysis: don't consider a foreach-declared variable to be written to.

2020-09-16 19:07:58 +00:00

tool

[CFE] Include _fe_analyzer_shared in tests

2020-05-11 13:13:21 +00:00

analysis_options_no_lints.yaml

Exclude _fe_analyzer_shared/test/constants/data

2020-04-13 17:47:32 +00:00

analysis_options.yaml

…

LICENSE

…

PRESUBMIT.py

[CFE] Spell check on kernel src; presubmit on kernel & _fe_analyzer_shared

2019-12-02 13:00:47 +00:00

pubspec.yaml

Prepare to publish analyzer 0.40.1 and _fe_analyzer_shared 9.0.0.

2020-09-01 22:04:12 +00:00

README.md

…

README.md

FE/analyzer shared code

This package contains logic that is shared between the front_end and analyzer packages. It is intended solely to facilitate development of the Dart SDK, and is not intended for use by end users. In particular, this package has no public API, so no guarantee is made of compatibility between one version of the package and the next.

End users should consider using the analyzer package to analyze Dart source code.