| Index: pkg/compiler/lib/src/cps_ir/cps_ir_integrity.dart
|
| diff --git a/pkg/compiler/lib/src/cps_ir/cps_ir_integrity.dart b/pkg/compiler/lib/src/cps_ir/cps_ir_integrity.dart
|
| index 8fb65a2e83840c87a4906edf6436562c63882a11..efdc27f5adbaab71dad06b402d8266ed57afe825 100644
|
| --- a/pkg/compiler/lib/src/cps_ir/cps_ir_integrity.dart
|
| +++ b/pkg/compiler/lib/src/cps_ir/cps_ir_integrity.dart
|
| @@ -134,9 +134,13 @@ class CheckCpsIntegrity extends TrampolineRecursiveVisitor {
|
|
|
| @override
|
| visitFunctionDefinition(FunctionDefinition node) {
|
| - if (node.thisParameter != null) {
|
| - handleDeclaration(node.thisParameter);
|
| - enterScope([node.thisParameter]);
|
| + if (node.interceptorParameter != null) {
|
| + handleDeclaration(node.interceptorParameter);
|
| + enterScope([node.interceptorParameter]);
|
| + }
|
| + if (node.receiverParameter != null) {
|
| + handleDeclaration(node.receiverParameter);
|
| + enterScope([node.receiverParameter]);
|
| }
|
| node.parameters.forEach(handleDeclaration);
|
| enterScope(node.parameters);
|
| @@ -181,6 +185,19 @@ class CheckCpsIntegrity extends TrampolineRecursiveVisitor {
|
| }
|
| }
|
|
|
| + @override
|
| + processInvokeMethod(InvokeMethod node) {
|
| + if (node.callingConvention == CallingConvention.Intercepted) {
|
| + if (node.interceptorRef == null) {
|
| + error('No interceptor on intercepted call', node);
|
| + }
|
| + } else {
|
| + if (node.interceptorRef != null) {
|
| + error('Interceptor on call with ${node.callingConvention}', node);
|
| + }
|
| + }
|
| + }
|
| +
|
| void checkReferenceChain(Definition def) {
|
| Reference previous = null;
|
| for (Reference ref = def.firstRef; ref != null; ref = ref.next) {
|
|
|