__ __ __ __ _____ _ _ _____ _ _ _ | \/ | \ \ / / | __ \ (_) | | / ____| | | | | | \ / |_ __\ V / | |__) | __ ___ ____ _| |_ ___ | (___ | |__ ___| | | | |\/| | '__|> < | ___/ '__| \ \ / / _` | __/ _ \ \___ \| '_ \ / _ \ | | | | | | |_ / . \ | | | | | |\ V / (_| | || __/ ____) | | | | __/ | | |_| |_|_(_)_/ \_\ |_| |_| |_| \_/ \__,_|\__\___| |_____/|_| |_|\___V 2.1 if you need WebShell for Seo everyday contact me on Telegram Telegram Address : @jackleetFor_More_Tools:
// SPDX-License-Identifier: GPL-2.0-only /// /// Condition !A || A && B is equivalent to !A || B. /// // Confidence: High // Copyright: (C) 2020 Denis Efremov ISPRAS // Options: --no-includes --include-headers virtual patch virtual context virtual org virtual report @r depends on !patch@ expression A, B; position p; @@ * !A || (A &&@p B) @depends on patch@ expression A, B; @@ !A || - (A && B) + B @script:python depends on report@ p << r.p; @@ coccilib.report.print_report(p[0], "WARNING !A || A && B is equivalent to !A || B") @script:python depends on org@ p << r.p; @@ coccilib.org.print_todo(p[0], "WARNING !A || A && B is equivalent to !A || B")
| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| add_namespace.cocci | File | 837 B | 0644 |
|
| array_size.cocci | File | 1.69 KB | 0644 |
|
| array_size_dup.cocci | File | 4.78 KB | 0644 |
|
| badty.cocci | File | 1.69 KB | 0644 |
|
| boolconv.cocci | File | 1.47 KB | 0644 |
|
| cond_no_effect.cocci | File | 2.07 KB | 0644 |
|
| cstptr.cocci | File | 873 B | 0644 |
|
| do_div.cocci | File | 3.48 KB | 0644 |
|
| doubleinit.cocci | File | 1.4 KB | 0644 |
|
| excluded_middle.cocci | File | 677 B | 0644 |
|
| flexible_array.cocci | File | 1.78 KB | 0644 |
|
| ifcol.cocci | File | 1.25 KB | 0644 |
|
| irqf_oneshot.cocci | File | 1.96 KB | 0644 |
|
| minmax.cocci | File | 3.19 KB | 0644 |
|
| newline_in_nl_msg.cocci | File | 1.63 KB | 0644 |
|
| noderef.cocci | File | 1.21 KB | 0644 |
|
| of_table.cocci | File | 1.33 KB | 0644 |
|
| orplus.cocci | File | 1.05 KB | 0644 |
|
| returnvar.cocci | File | 1.28 KB | 0644 |
|
| secs_to_jiffies.cocci | File | 452 B | 0644 |
|
| semicolon.cocci | File | 1.09 KB | 0644 |
|
| struct_size.cocci | File | 1.58 KB | 0644 |
|
| swap.cocci | File | 1.48 KB | 0644 |
|
| test_addr.cocci | File | 699 B | 0644 |
|
| uninitialized_var.cocci | File | 1.59 KB | 0644 |
|
| warn.cocci | File | 1.67 KB | 0644 |
|