>> 2. Can the data type become restricted not only by the detail >> that it refers to a pointer? > > You can put any type, such as int x;. You can also put parts of types > such as expression * x; or struct x;
This information fits to my wording for restricted searches, doesn't it? >> 3. Why should such a SmPL specification matter for the handling of >> expressions? > > Only expressions have types. I can agree to this information mostly. (“Types” can become relevant also for other items.) Does the Coccinelle software know the corresponding data type then? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci