usr
/
src
/
kernels
/
3.10.0-1160.139.1.el7.tuxcare.els4.x86_64
/
scripts
/
coccinelle
/
tests
➕ New
📤 Upload
✎ Editing:
doubletest.cocci
← Back
/// Find &&/|| operations that include the same argument more than once //# A common source of false positives is when the argument performs a side //# effect. /// // Confidence: Moderate // Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2. // Copyright: (C) 2010 Julia Lawall, DIKU. GPLv2. // Copyright: (C) 2010 Gilles Muller, INRIA/LiP6. GPLv2. // URL: http://coccinelle.lip6.fr/ // Comments: // Options: -no_includes -include_headers virtual context virtual org virtual report @r expression@ expression E; position p; @@ ( * E@p || ... || E | * E@p && ... && E ) @script:python depends on org@ p << r.p; @@ cocci.print_main("duplicated argument to && or ||",p) @script:python depends on report@ p << r.p; @@ coccilib.report.print_report(p[0],"duplicated argument to && or ||")
💾 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