diff --git a/duchain/tests/duchain.h b/duchain/tests/duchain.h
--- a/duchain/tests/duchain.h
+++ b/duchain/tests/duchain.h
@@ -185,6 +185,8 @@
     void functionArgumentUnpacking();
     void illegalExpression_data();
     void illegalExpression();
+    void printExpression_data();
+    void printExpression();
 };
 
 }
diff --git a/duchain/tests/duchain.cpp b/duchain/tests/duchain.cpp
--- a/duchain/tests/duchain.cpp
+++ b/duchain/tests/duchain.cpp
@@ -3781,6 +3781,9 @@
 
     QTest::newRow("equality expression") << QStringLiteral("<? 1 == '1' == 1.1;\n");
     QTest::newRow("relational expression") << QStringLiteral("<? 3 > 2 > 1;\n");
+    QTest::newRow("double print expression") << QStringLiteral("<? print 1 print 2;\n");
+    QTest::newRow("standalone print statement") << QStringLiteral("<? print;\n");
+    QTest::newRow("expression inside isset()") << QStringLiteral("<? isset($a || $b);\n");
 }
 
 void TestDUChain::illegalExpression()
@@ -3790,3 +3793,33 @@
     TopDUContext* top = parse(code.toUtf8(), DumpNone);
     QVERIFY(!top);
 }
+
+void TestDUChain::printExpression_data()
+{
+    QTest::addColumn<QString>("code");
+
+    QTest::newRow("simple print expression") << QStringLiteral("<? print 1;\n");
+    QTest::newRow("print assignment") << QStringLiteral("<? print $a = 1;\n");
+    QTest::newRow("print boolean expression") << QStringLiteral("<? print $a || $b;\n");
+    QTest::newRow("double print token") << QStringLiteral("<? print print 1;\n");
+    QTest::newRow("concatenated print expression") << QStringLiteral("<? print 1 . print 2;\n");
+    QTest::newRow("boolean-chained print expression") << QStringLiteral("<? print 1 || print 2 && print 3;\n");
+    QTest::newRow("ternary-chained print expression") << QStringLiteral("<? print 1 ? print 2 : print 3;\n");
+    QTest::newRow("assignment-chained print expression") << QStringLiteral("<? print $a = $b += print 1;\n");
+    QTest::newRow("null-coalesce-chained print expression") << QStringLiteral("<? print $a ?? print 1;\n");
+    QTest::newRow("bit-chained print expression") << QStringLiteral("<? print 1 | print 2 & print 3 ^ print 4;\n");
+    QTest::newRow("include print expression") << QStringLiteral("<? include print 'string';\n");
+    QTest::newRow("print expression inside empty()") << QStringLiteral("<? empty(print 1);\n");
+}
+
+void TestDUChain::printExpression()
+{
+    QFETCH(QString, code);
+
+    TopDUContext* top = parse(code.toUtf8(), DumpNone);
+    QVERIFY(top);
+    DUChainReleaser releaseTop(top);
+    DUChainWriteLocker lock(DUChain::lock());
+
+    QVERIFY(top->problems().isEmpty());
+}
diff --git a/parser/php.g b/parser/php.g
--- a/parser/php.g
+++ b/parser/php.g
@@ -365,7 +365,7 @@
    #expression=printExpression @ LOGICAL_AND
 -> logicalAndExpression ;;
 
-  (print=PRINT*) expression=assignmentExpression
+   (print=PRINT | 0) expression=assignmentExpression
 -> printExpression ;;
 
 -- leftside must me a variable, we check afterwards if it was a variable and
@@ -432,10 +432,10 @@
    )
 -> conditionalExpression ;;
 
-  #expression=booleanOrExpression @ NULL_COALESCE
+   #expression=booleanOrExpression @ NULL_COALESCE
 -> nullCoalesceExpression ;;
 
-  #expression=booleanAndExpression @ BOOLEAN_OR
+   #expression=booleanAndExpression @ BOOLEAN_OR
 -> booleanOrExpression ;;
 
    #expression=bitOrExpression @ BOOLEAN_AND
@@ -548,8 +548,10 @@
    op=INC | op=DEC
 -> postprefixOperator ;;
 
+-- 10 first follow conflicts because we go back up the chain
+    (print=PRINT+) printExpression=assignmentExpression
 --first/first conflict - no problem because of ifs
-    ?[: m_state.varExpressionState == OnlyVariable :] 0 [: m_state.varExpressionState = Normal; :] variable=variable
+  | ?[: m_state.varExpressionState == OnlyVariable :] 0 [: m_state.varExpressionState = Normal; :] variable=variable
   | ?[: m_state.varExpressionState == OnlyNewObject :] 0 [: m_state.varExpressionState = Normal; :] newObject=varExpressionNewObject
   | varExpressionNormal=varExpressionNormal
   | varExpressionArray=varExpressionArray arrayIndex=arrayIndexSpecifier*
@@ -564,7 +566,7 @@
   | try/rollback (variable=variable [: m_state.varExpressionIsVariable = true; :])
     catch (scalar=scalar)
   | ISSET LPAREN (#issetVariable=variable @ COMMA) RPAREN
-  | EMPTY LPAREN emptyVarialbe=variable RPAREN
+  | EMPTY LPAREN emptyExpression=expr RPAREN
   | newObject=varExpressionNewObject
   | CLONE cloneCar=varExpressionNormal
   | closure=closure