1*4882a593Smuzhiyun// SPDX-License-Identifier: GPL-2.0-only 2*4882a593Smuzhiyun/// sizeof when applied to a pointer typed expression gives the size of 3*4882a593Smuzhiyun/// the pointer 4*4882a593Smuzhiyun/// 5*4882a593Smuzhiyun// Confidence: High 6*4882a593Smuzhiyun// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. 7*4882a593Smuzhiyun// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. 8*4882a593Smuzhiyun// URL: http://coccinelle.lip6.fr/ 9*4882a593Smuzhiyun// Comments: 10*4882a593Smuzhiyun// Options: --no-includes --include-headers 11*4882a593Smuzhiyun 12*4882a593Smuzhiyunvirtual org 13*4882a593Smuzhiyunvirtual report 14*4882a593Smuzhiyunvirtual context 15*4882a593Smuzhiyunvirtual patch 16*4882a593Smuzhiyun 17*4882a593Smuzhiyun@depends on patch@ 18*4882a593Smuzhiyunexpression *x; 19*4882a593Smuzhiyunexpression f; 20*4882a593Smuzhiyunexpression i; 21*4882a593Smuzhiyuntype T; 22*4882a593Smuzhiyun@@ 23*4882a593Smuzhiyun 24*4882a593Smuzhiyun( 25*4882a593Smuzhiyunx = <+... sizeof( 26*4882a593Smuzhiyun- x 27*4882a593Smuzhiyun+ *x 28*4882a593Smuzhiyun ) ...+> 29*4882a593Smuzhiyun| 30*4882a593Smuzhiyunf(...,(T)(x),...,sizeof( 31*4882a593Smuzhiyun- x 32*4882a593Smuzhiyun+ *x 33*4882a593Smuzhiyun ),...) 34*4882a593Smuzhiyun| 35*4882a593Smuzhiyunf(...,sizeof( 36*4882a593Smuzhiyun- x 37*4882a593Smuzhiyun+ *x 38*4882a593Smuzhiyun ),...,(T)(x),...) 39*4882a593Smuzhiyun| 40*4882a593Smuzhiyunf(...,(T)(x),...,i*sizeof( 41*4882a593Smuzhiyun- x 42*4882a593Smuzhiyun+ *x 43*4882a593Smuzhiyun ),...) 44*4882a593Smuzhiyun| 45*4882a593Smuzhiyunf(...,i*sizeof( 46*4882a593Smuzhiyun- x 47*4882a593Smuzhiyun+ *x 48*4882a593Smuzhiyun ),...,(T)(x),...) 49*4882a593Smuzhiyun) 50*4882a593Smuzhiyun 51*4882a593Smuzhiyun@r depends on !patch@ 52*4882a593Smuzhiyunexpression *x; 53*4882a593Smuzhiyunexpression f; 54*4882a593Smuzhiyunexpression i; 55*4882a593Smuzhiyunposition p; 56*4882a593Smuzhiyuntype T; 57*4882a593Smuzhiyun@@ 58*4882a593Smuzhiyun 59*4882a593Smuzhiyun( 60*4882a593Smuzhiyun*x = <+... sizeof@p(x) ...+> 61*4882a593Smuzhiyun| 62*4882a593Smuzhiyun*f(...,(T)(x),...,sizeof@p(x),...) 63*4882a593Smuzhiyun| 64*4882a593Smuzhiyun*f(...,sizeof@p(x),...,(T)(x),...) 65*4882a593Smuzhiyun| 66*4882a593Smuzhiyun*f(...,(T)(x),...,i*sizeof@p(x),...) 67*4882a593Smuzhiyun| 68*4882a593Smuzhiyun*f(...,i*sizeof@p(x),...,(T)(x),...) 69*4882a593Smuzhiyun) 70*4882a593Smuzhiyun 71*4882a593Smuzhiyun@script:python depends on org@ 72*4882a593Smuzhiyunp << r.p; 73*4882a593Smuzhiyun@@ 74*4882a593Smuzhiyun 75*4882a593Smuzhiyuncocci.print_main("application of sizeof to pointer",p) 76*4882a593Smuzhiyun 77*4882a593Smuzhiyun@script:python depends on report@ 78*4882a593Smuzhiyunp << r.p; 79*4882a593Smuzhiyun@@ 80*4882a593Smuzhiyun 81*4882a593Smuzhiyunmsg = "ERROR: application of sizeof to pointer" 82*4882a593Smuzhiyuncoccilib.report.print_report(p[0],msg) 83