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 188f8cd44e0c1d9cce191b9a6ccb37450ffb08f7..58ea245b8d30f2b43b17cb26b7a8a72594bd0dc2 100644 (file)
--- 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
                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;
        |       MINUS postfix_expression
                {
                        $$ = $2;