1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465 |
- virtual org
- virtual report
- @cond@
- statement S1;
- position p;
- @@
- * if@p (...) S1 else S1
- @script:python depends on org@
- p << cond.p;
- @@
- cocci.print_main("WARNING: possible condition with no effect (if == else)",p)
- @script:python depends on report@
- p << cond.p;
- @@
- coccilib.report.print_report(p[0],"WARNING: possible condition with no effect (if == else)")
|