Can the following transformation variants be also helpful?
> @@
> type T;
> expression source;
> @@
>
> - REQUIRE(((T *)source) != NULL);
> + REQUIRE(source != NULL);
REQUIRE((
- (T*)
source) != NULL);
> @@
> type T;
> type R;
type T;
> identifier common, rdtype;
> T *target;
> expression source;
typedef dns_rdatacommon_t;
> @@
>
> REQUIRE(source != NULL);
> ...
> REQUIRE((
> - (T *)
> + (dns_rdatacommon_t *)
(
-T
+dns_rdatacommon_t
*)
Will any constraints become relevant for the deleted data types?
Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
