+(*
+ * Copyright 2012, INRIA
+ * Julia Lawall, Gilles Muller
+ * Copyright 2010-2011, INRIA, University of Copenhagen
+ * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
+ * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
+ * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
+ * This file is part of Coccinelle.
+ *
+ * Coccinelle is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, according to version 2 of the License.
+ *
+ * Coccinelle is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
+ *
+ * The authors reserve the right to distribute this or future versions of
+ * Coccinelle under other licenses.
+ *)
+
+
+# 0 "./check_exhaustive_pattern.ml"
(* Just to warn me when there is some news in the types in
* ast_cocci.ml or even ast_c.ml, so that I can then adjust my code in
| A.WhileHeader (_, _, ea, _) -> ()
| A.DoHeader _ -> ()
| A.WhileTail (_,_,ea,_,_) -> ()
- | A.ForHeader (_, _, ea1opt, _, ea2opt, _, ea3opt, _) -> ()
+ | A.ForHeader (_, _, _, ea2opt, _, ea3opt, _) -> ()
| A.IteratorHeader (ia1, ia2, ea, ia3) -> ()
| A.SwitchHeader _ -> ()
| A.Break _ -> ()
| A.Return _ -> ()
| A.ReturnExpr (_, ea, _) -> ()
| A.DefineHeader _ -> ()
+ | A.Undef _ -> ()
| A.Include _ -> ()
| A.Default _ -> ()
| A.Case _ -> ()
| A.Init (stg, typa, sa, _, expa, _) -> ()
| A.TyDecl (typa, _) -> ()
| A.MacroDecl(fn, _, eas, _, _) -> ()
+ | A.MacroDeclInit(fn, _, eas, _, _, _, _) -> ()
| A.Ddots(dots,whencode) -> ()
| A.MetaDecl _ -> ()
| A.MetaField _ -> ()
+ | A.MetaFieldList _ -> ()
+ | A.AsDecl _ -> ()
| A.Typedef(d,ty1,ty2,pv) -> ()
| A.DisjDecl xs -> ()
| A.OptDecl _ | A.UniqueDecl _ -> ()
-let dumb_astcocci_initialiser = function
+let dumb_astcocci_initialiser = function (* seems same as the above *)
A.Init(stg,ty,id,eq,ini,sem) -> ()
| A.UnInit(stg,ty,id,sem) -> ()
| A.MacroDecl(fn, _, eas, _, _) -> ()
+ | A.MacroDeclInit(fn, _, eas, _, _, _, _) -> ()
| A.TyDecl(ty,sem) -> ()
| A.Typedef(d,ty1,ty2,pv) -> ()
| A.DisjDecl(decls) -> ()
| A.Ddots(dots,whencode) -> ()
| A.MetaDecl(name,_,_) -> ()
| A.MetaField(name,_,_) -> ()
+ | A.MetaFieldList(name,_,_,_) -> ()
+ | A.AsDecl(_,_) -> ()
| A.OptDecl(decl) -> ()
| A.UniqueDecl(decl) -> ()
let dumb_astcocci_expr = function
| A.MetaExpr (ida,_,_, opttypa, _, _) -> ()
+ | A.AsExpr (_,_) -> ()
| A.Edots (_,_) -> ()
| A.MetaErr _ -> ()
| A.Ident ida -> ()
| A.Constant (A.Float sa,_,_,_) -> ()
| A.FunCall (ea1, _, eas, _) -> ()
| A.Assignment (ea1, opa, ea2, _) -> ()
+ | A.Sequence (ea1, opa, ea2) -> ()
| A.CondExpr (ea1,_,ea2opt,_,ea3) -> ()
| A.Postfix (ea, opa) -> ()
| A.Infix (ea, opa) -> ()
| A.SizeOfExpr (_, ea) -> ()
| A.SizeOfType (_, _, typa, _) -> ()
| A.TypeExp (typa) -> ()
+ | A.Constructor (_, typa, _, ia) -> ()
| A.Paren (_, ea, _) -> ()
| A.NestExpr _ -> ()
| A.MetaExprList _ -> ()
| A.OptExp _ -> ()
let dumb_astcocci_fulltype = function
- A.Type(cv,ty) -> ()
+ A.Type(_,cv,ty) -> ()
+ | A.AsType(_,_) -> ()
| A.DisjType(types) -> ()
| A.OptType(ty) -> ()
| A.UniqueType(ty) -> ()
| A.FunctionType _ -> ()
| A.Array (typa, _, eaopt, _) -> ()
| A.EnumName(en, ena) -> ()
+ | A.EnumDef(ty, lb, ids, rb) -> ()
| A.StructUnionName(sa, sua) -> ()
| A.StructUnionDef(ty, lb, decls, rb) -> ()
| A.TypeName sa -> ()