let is_volatile vi =
let vi_vol =
List.exists (function (Attr("volatile",_)) -> true
| _ -> false) vi.vattr in
let typ_vol =
List.exists (function (Attr("volatile",_)) -> true
| _ -> false) (typeAttrs vi.vtype) in
if !debug && (vi_vol || typ_vol) then
(Kernel.debug "unusedRemover: %s is volatile" vi.vname);
if !debug && not(vi_vol || typ_vol) then
(Kernel.debug "unusedRemover: %s is not volatile" vi.vname);
vi_vol || typ_vol