diff --git a/lib/tokenlist.cpp b/lib/tokenlist.cpp
index 5f48baea018..74c0bae258f 100644
--- a/lib/tokenlist.cpp
+++ b/lib/tokenlist.cpp
@@ -740,6 +740,8 @@ static void compileBinOp(Token *&tok, AST_state& state, void (*f)(Token *&tok, A
         binop->astOperand1(state.op.top());
         state.op.pop();
     }
+    if (!state.op.empty() && state.op.top() == binop)
+        throw InternalError(tok, "Syntax Error: Infinite loop when creating AST.", InternalError::AST);
     state.op.push(binop);
 }
 
diff --git a/test/testgarbage.cpp b/test/testgarbage.cpp
index 68715b78ae8..44f163a53c1 100644
--- a/test/testgarbage.cpp
+++ b/test/testgarbage.cpp
@@ -1343,6 +1343,8 @@ class TestGarbage : public TestFixture {
                                         "{ return return { | { - name3 1 enum != >= 1 >= ++ { name6 | ; ++}}}}}}}"), UNKNOWN_MACRO);
         ASSERT_THROW_INTERNAL(checkCode("else return % name5 name2 - =name1 return enum | { - name3 1 enum != >= 1 >= ++ { { || "
                                         "{ return return { | { - name3 1 enum != >= 1 >= ++ { { || ; ++}}}}}}}}"), UNKNOWN_MACRO);
+
+        ASSERT_THROW_INTERNAL(checkCode("f(*p, requires(x));"), AST); // #14740
     }
 
     void templateSimplifierCrashes() {