let brackets_and_stars_typ typ =
let rec stars_and_elt typ =
match Cil.unrollType typ with
| TPtr (typ,_) ->
let (n,t) = stars_and_elt (Cil.unrollType typ) in
(n+1),t
| TInt(_,_) | TFloat(_,_) | TFun _ | TEnum (_,_) | TComp (_,_,_)
| TArray (_,_,_,_)
| TBuiltin_va_list _ | TVoid _ | TNamed _ as t-> (0,t)
in
let (n,t) = stars_and_elt typ in (n,Variables_analysis.brackets_typ t)