From: Etienne Bergeron <etienneb@google.com>
Date: Tue, 2 Apr 2013 23:24:22 +0000 (-0400)
Subject: Fix: add semantic check in grammar
X-Git-Tag: v1.1.1~57
X-Git-Url: http://git.efficios.com/?p=babeltrace.git;a=commitdiff_plain;h=f9c67088c31c4e211e4ea9655c231d0b908a6290

Fix: add semantic check in grammar

Signed-off-by: Etienne Bergeron <etienneb@google.com>
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
---

diff --git a/formats/ctf/metadata/ctf-parser.y b/formats/ctf/metadata/ctf-parser.y
index 188f8cd4..58ea245b 100644
--- a/formats/ctf/metadata/ctf-parser.y
+++ b/formats/ctf/metadata/ctf-parser.y
@@ -1225,7 +1225,13 @@ unary_expression:
 		postfix_expression
 		{	$$ = $1;				}
 	|	PLUS postfix_expression
-		{	$$ = $2;				}
+		{
+			$$ = $2;
+			if ($$->u.unary_expression.type != UNARY_UNSIGNED_CONSTANT
+				&& $$->u.unary_expression.type != UNARY_SIGNED_CONSTANT) {
+				reparent_error(scanner, "expecting numeric constant");
+			}
+		}
 	|	MINUS postfix_expression
 		{
 			$$ = $2;