let
is_ptr_ltype ltype =
match
ltype
with
|
Ctype
t
when
Cil
.isPointerType t
->
true
|
_
->
false