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