diff options
Diffstat (limited to 'cparser/Elab.ml')
| -rw-r--r-- | cparser/Elab.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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 |