Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(119)

Side by Side Diff: pkg/compiler/lib/src/ssa/builder.dart

Issue 2366263004: Handle fields with initializers in kernel_impact (Closed)
Patch Set: Created 4 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file
2 // for details. All rights reserved. Use of this source code is governed by a 2 // for details. All rights reserved. Use of this source code is governed by a
3 // BSD-style license that can be found in the LICENSE file. 3 // BSD-style license that can be found in the LICENSE file.
4 4
5 import 'dart:collection'; 5 import 'dart:collection';
6 6
7 import 'package:js_runtime/shared/embedded_names.dart'; 7 import 'package:js_runtime/shared/embedded_names.dart';
8 8
9 import '../closure.dart'; 9 import '../closure.dart';
10 import '../common.dart'; 10 import '../common.dart';
(...skipping 3748 matching lines...) Expand 10 before | Expand all | Expand 10 after
3759 3759
3760 /// In checked mode checks the [type] of [node] to be well-bounded. The method 3760 /// In checked mode checks the [type] of [node] to be well-bounded. The method
3761 /// returns [:true:] if an error can be statically determined. 3761 /// returns [:true:] if an error can be statically determined.
3762 bool checkTypeVariableBounds(ast.NewExpression node, InterfaceType type) { 3762 bool checkTypeVariableBounds(ast.NewExpression node, InterfaceType type) {
3763 if (!compiler.options.enableTypeAssertions) return false; 3763 if (!compiler.options.enableTypeAssertions) return false;
3764 3764
3765 Map<DartType, Set<DartType>> seenChecksMap = 3765 Map<DartType, Set<DartType>> seenChecksMap =
3766 new Map<DartType, Set<DartType>>(); 3766 new Map<DartType, Set<DartType>>();
3767 bool definitelyFails = false; 3767 bool definitelyFails = false;
3768 3768
3769 addTypeVariableBoundCheck(GenericType instance, DartType typeArgument, 3769 void addTypeVariableBoundCheck(GenericType instance, DartType typeArgument,
3770 TypeVariableType typeVariable, DartType bound) { 3770 TypeVariableType typeVariable, DartType bound) {
3771 if (definitelyFails) return; 3771 if (definitelyFails) return;
3772 3772
3773 int subtypeRelation = 3773 int subtypeRelation =
3774 compiler.types.computeSubtypeRelation(typeArgument, bound); 3774 compiler.types.computeSubtypeRelation(typeArgument, bound);
3775 if (subtypeRelation == Types.IS_SUBTYPE) return; 3775 if (subtypeRelation == Types.IS_SUBTYPE) return;
3776 3776
3777 String message = "Can't create an instance of malbounded type '$type': " 3777 String message = "Can't create an instance of malbounded type '$type': "
3778 "'${typeArgument}' is not a subtype of bound '${bound}' for " 3778 "'${typeArgument}' is not a subtype of bound '${bound}' for "
3779 "type variable '${typeVariable}' of type " 3779 "type variable '${typeVariable}' of type "
(...skipping 3283 matching lines...) Expand 10 before | Expand all | Expand 10 after
7063 if (unaliased is TypedefType) throw 'unable to unalias $type'; 7063 if (unaliased is TypedefType) throw 'unable to unalias $type';
7064 unaliased.accept(this, builder); 7064 unaliased.accept(this, builder);
7065 } 7065 }
7066 7066
7067 void visitDynamicType(DynamicType type, SsaBuilder builder) { 7067 void visitDynamicType(DynamicType type, SsaBuilder builder) {
7068 JavaScriptBackend backend = builder.compiler.backend; 7068 JavaScriptBackend backend = builder.compiler.backend;
7069 ClassElement cls = backend.helpers.DynamicRuntimeType; 7069 ClassElement cls = backend.helpers.DynamicRuntimeType;
7070 builder.push(new HDynamicType(type, new TypeMask.exact(cls, closedWorld))); 7070 builder.push(new HDynamicType(type, new TypeMask.exact(cls, closedWorld)));
7071 } 7071 }
7072 } 7072 }
OLDNEW
« no previous file with comments | « pkg/compiler/lib/src/resolution/type_resolver.dart ('k') | pkg/compiler/lib/src/ssa/kernel_impact.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698