Alexander Markov 632a8baac5 [vm] Avoid altering static types when removing redundant type casts ...

VM can use static type of receiver in order to omit parameter
type checks. Removing a redundant AsExpression node can incorrectly
change static type of a receiver and break parameter type checks.

So, instead of removing redundant AsExpression nodes they are now
marked as Unchecked. This turns them into a no-op when building
flow graph, but keeps static type unchanged.

TEST=runtime/tests/vm/dart/regress_53945a_test.dart
Fixes https://github.com/dart-lang/sdk/issues/53945

Change-Id: Ic283158c9b7ba11cb5c140226a6d057e98c8ce77
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/351621
Reviewed-by: Tess Strickland <sstrickl@google.com>
Commit-Queue: Alexander Markov <alexmarkov@google.com>

2024-02-12 17:54:32 +00:00

..

ffi

[cfe/ffi] Reformat code

2024-02-09 21:27:29 +00:00

specializer

[cfe] Remove unnecessary_null_comparison code

2023-06-08 08:46:47 +00:00

type_flow

[vm/aot/tfa] Avoid duplicate invocations when approximation is created

2024-02-06 21:50:24 +00:00

call_site_annotator.dart

[vm/aot/tfa] Whole-program propagation of closure values

2023-10-12 16:16:21 +00:00

deferred_loading.dart

…

devirtualization.dart

…

for_in_lowering.dart

[kernel] Add VariableDeclaration.isSynthesized

2023-03-10 11:13:36 +00:00

late_var_init_transformer.dart

[kernel] Add VariableDeclaration.isSynthesized

2023-03-10 11:13:36 +00:00

list_literals_lowering.dart

[cfe] Remove redirecting factory field

2023-06-13 09:24:28 +00:00

lowering.dart

[vm] Rename nullSafety to soundNullSafety in pkg/vm

2023-11-07 14:32:20 +00:00

mixin_deduplication.dart

[cfe] Remove unnecessary_null_comparison code

2023-06-08 08:46:47 +00:00

mixin_full_resolution.dart

[vm] Fix noSuchMethod forwarding stubs in mixin applications

2023-10-09 16:57:22 +00:00

no_dynamic_invocations_annotator.dart

…

obfuscation_prohibitions_annotator.dart

[vm, compiler] Add option to suppress obfuscation of type names for some hierarchy.

2023-08-25 18:55:32 +00:00

pragma.dart

[pkg/vm] Create @pragma("vm:platform-const-if", <cond>) annotation

2024-01-04 14:44:29 +00:00

resource_identifier.dart

[pkg/vm] Use correct method to relativize URIs in resource files

2024-01-05 13:56:58 +00:00

to_string_transformer.dart

[kernel] Merge front_end and kernel verifiers

2023-04-26 14:14:36 +00:00

type_casts_optimizer.dart

[vm] Avoid altering static types when removing redundant type casts

2024-02-12 17:54:32 +00:00

unreachable_code_elimination.dart

[pkg/vm] Enable const functions during platform const field evaluation.

2024-01-30 12:48:49 +00:00

vm_constant_evaluator.dart

[pkg/vm] Enable const functions during platform const field evaluation.

2024-01-30 12:48:49 +00:00