IdempotentOperations -- Signaler les opérations idempotentes
Remonter à Audits C++
Description
IdempotentOperations recherche les opérations idempotentes et tautologiques.
Par exemple, le tableau suivant représente des opérations idempotentes ou tautologiques :
| Opérateur |
x op x |
x op 1 |
1 op x |
x op 0 |
0 op x |
x op ~0 |
~0 op x |
|---|---|---|---|---|---|---|---|
+, += |
x |
x |
|||||
-, -= |
x |
-x |
|||||
*, *= |
x |
x |
0 |
0 |
|||
/, /= |
1 |
x |
N/A |
0 |
|||
&, &= |
x |
0 |
0 |
x |
x | ||
|, |= |
x |
x |
x |
~0 |
~0 | ||
^, ^= |
0 |
x |
x |
||||
<<, <<= |
x |
0 |
|||||
>>, >>= |
x |
0 |
|||||
|| |
1 |
1 |
1 |
x |
x |
1 |
1 |
&& |
1 |
x |
x |
0 |
0 |
x |
x |
= |
x |
||||||
== |
1 |
||||||
>= |
1 |
||||||
<= |
1 |
||||||
> |
0 |
||||||
< |
0 |
||||||
!= |
0 |