sdk/pkg/_fe_analyzer_shared/test/flow_analysis at bcf8a7fc51b250b68bfcaa68edcc7aaeddafddf7 - sdk

Files

T

Johnni Winther d68f552e70 [analyzer,cfe] Handle (un)assigned state in try-statement

This handles (un)assigned state in try-statement that do not
complete normally. In this case we could create a variable model
for an unreachable state that would be both assigned and unassigned
leading to an assertion failure.

Closes #41284

Change-Id: Id4c7689bc7c614338af3542eb342c964696fca1e
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/141981
Auto-Submit: Johnni Winther <johnniwinther@google.com>
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>

2020-04-01 15:46:15 +00:00

assigned_variables/data

[analyzer,cfe,dart2js] Add marker.options files to automate running id tests on all configurations

2020-02-21 08:34:26 +00:00

definite_assignment/data

[analyzer,cfe] Handle (un)assigned state in try-statement

2020-04-01 15:46:15 +00:00

definite_unassignment/data

[analyzer,cfe] Handle (un)assigned state in try-statement

2020-04-01 15:46:15 +00:00

nullability/data

Issue 40959. Support null-shorting for cascades.