On 09/21/2016 02:59 PM, Marek Polacek wrote:
+  if (statement == NULL_TREE
+      && attr != NULL_TREE
+      && maybe_attribute_fallthrough_p (attr))
+    {
+      /* Turn [[fallthrough]]; into FALLTHROUGH ();.  */
+      statement = build_call_expr_internal_loc (loc, IFN_FALLTHROUGH,
+                                               void_type_node, 0);
+      attr = NULL_TREE;
+    }
+
+  /* Allow "[[fallthrough]];", but warn otherwise.  */
+  if (attr != NULL_TREE)
+    warning_at (loc, OPT_Wattributes,
+               "attributes at the beginning of statement are ignored");


This is very close, thanks.  Let's give a more helpful warning about

[[fallthrough]] 0;
__attribute__ ((fallthrough)) 0;

both here and in cp_parser_statement, something like "fallthrough attribute not followed by ';'"

Jason

Reply via email to