Author: Julia Lawall <julia@diku.dk> It seems from other code that it is the dst_type field rather than the type_flags field that contains values of the form DST_TYPE_IS… The type_flags field contains values of the form DST_TYPE_HAS… The semantic match that finds this problem is as follows: (http://www.emn.fr/x-info/coccinelle/) // @@ struct dst_state E; @@ ( *E.type_flags …