usr
/
src
/
kernels
/
3.10.0-1160.142.1.el7.tuxcare.els1.x86_64
/
scripts
/
coccinelle
/
misc
➕ New
📤 Upload
✎ Editing:
ifaddr.cocci
← Back
/// the address of a variable or field is non-zero is likely always to bo /// non-zero /// // Confidence: High // Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2. // Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. // URL: http://coccinelle.lip6.fr/ // Comments: // Options: -no_includes -include_headers virtual org virtual report virtual context @r@ expression x; statement S1,S2; position p; @@ *if@p (&x) S1 else S2 @script:python depends on org@ p << r.p; @@ cocci.print_main("test of a variable/field address",p) @script:python depends on report@ p << r.p; @@ msg = "ERROR: test of a variable/field address" coccilib.report.print_report(p[0],msg)
💾 Save Changes
Cancel
📤 Upload File
×
Select File
Upload
Cancel
➕ Create New
×
Type
📄 File
📁 Folder
Name
Create
Cancel
✎ Rename Item
×
Current Name
New Name
Rename
Cancel
🔐 Change Permissions
×
Target File
Permission (e.g., 0755, 0644)
0755
0644
0777
Apply
Cancel