Only check for functions in select labels

p4lang · May 19, 2020 · cb3acf3 · cb3acf3
1 parent ab6c453
commit cb3acf3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/frontends/p4/typeChecking/typeChecker.cpp b/frontends/p4/typeChecking/typeChecker.cpp
@@ -3183,7 +3183,7 @@ const IR::Node* TypeInference::postorder(IR::MethodCallExpression* expression) {
             checkCorelibMethods(mi->to<ExternMethod>());
 
         auto bi = mi->to<BuiltInMethod>();
-        if ((findContext<IR::SelectCase>() || findContext<IR::Key>()) &&
+        if ((findContext<IR::SelectCase>()) &&
             (!bi || (bi->name == IR::Type_Stack::pop_front ||
                      bi->name == IR::Type_Stack::push_front))) {
             typeError("%1%: no function calls allowed in this context", expression);