From 5a536b88c9be5b523871cd6fa9c7bab951287892 Mon Sep 17 00:00:00 2001 From: Cary R Date: Tue, 14 Dec 2010 15:41:41 -0800 Subject: [PATCH] V0.9: Add a warning that ifnone with an edge-sensitive path is not supported. Cadence allows an ifnone with an edge-sensitive path. Until we understand exactly what this is and how to implement it this patch adds a warning that an ifnone with an edge-sensitive path is not supported. --- parse.y | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/parse.y b/parse.y index 47dd01550..6a0b6d03d 100644 --- a/parse.y +++ b/parse.y @@ -3267,6 +3267,11 @@ specify_item } pform_module_specify_path(tmp); } + | K_ifnone specify_edge_path_decl ';' + { yyerror(@1, "Sorry: ifnone with an edge-sensitive path is " + "not supported."); + yyerrok; + } | K_Sfullskew '(' spec_reference_event ',' spec_reference_event ',' delay_value ',' delay_value spec_notifier_opt ')' ';' { delete $7;