From 91f21889423c41bb46b8b25b510c71987cf6006b Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Sun, 4 Sep 2022 19:08:22 +0200 Subject: `_Generic` is a C11 feature, should trigger the corresponding warning if active --- cparser/Elab.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/cparser/Elab.ml b/cparser/Elab.ml index 88500470..01e745c3 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -1768,6 +1768,7 @@ let elab_expr ctx loc env a = (* 6.5.1.1 Generic selection *) | GENERIC(a1, assoc) -> + warning Celeven_extension "'_Generic' is a C11 extension"; let b1,env = elab env a1 in let bssoc,env = elab_generic_association env assoc in let ty = erase_attributes_type env (pointer_decay env b1.etyp) in -- cgit