Ken-Patrick Lehrmann
a114bf0293
Fix false positives with condition with || and && ...
The value of something in the middle of a condition with mixed || and &&
gives no information on which branch will be taken.
For instance with:
```
int f(int a, int b, bool x) {\n"
if (a == 1 && (!(b == 2 && x))) {
} else {
if (x) {
}
}
return 0;
}
```
We can enter the if part whether x is true or false, and similarly,
enter the else part whether x is true or false. Same thing with the
value of b.
This fixes the following false positive with above code:
```
:4:13: style: Condition 'x' is always true [knownConditionTrueFalse]
if (x) {
^
:2:33: note: Assuming that condition 'x' is not redundant
if (a == 6 && (!(b == 21 && x))) {
^
```
2020-09-10 23:27:39 +02:00
2020-07-14 16:54:00 +02:00
2020-06-13 16:37:12 +02:00
2020-09-10 08:02:45 +02:00
2020-07-23 09:52:54 +02:00
2020-09-09 16:22:47 +02:00
2020-06-19 13:16:48 +02:00
2020-06-13 16:37:12 +02:00
2020-05-23 07:16:49 +02:00
2020-05-23 07:16:49 +02:00
2020-05-23 07:16:49 +02:00
2020-09-09 12:02:02 -05:00
2020-09-08 18:30:45 -05:00
2020-06-27 08:13:22 +02:00
2020-06-27 08:13:22 +02:00
2020-06-13 16:37:12 +02:00
2020-05-23 07:16:49 +02:00
2020-05-10 11:16:32 +02:00
2020-09-09 18:04:21 +02:00
2020-08-05 13:57:40 +02:00
2020-09-07 07:53:41 +02:00
2020-05-23 07:16:49 +02:00
2020-06-22 12:26:41 +02:00
2020-05-23 07:16:49 +02:00
2020-06-18 14:49:19 +02:00
2020-06-13 16:37:12 +02:00
2020-05-23 07:16:49 +02:00
2020-05-10 11:16:32 +02:00
2020-08-31 08:46:56 +02:00
2020-06-13 16:37:12 +02:00
2020-07-20 10:25:00 +02:00
2020-06-13 16:37:12 +02:00
2020-07-07 21:51:36 +02:00
2020-05-23 07:16:49 +02:00
2020-08-17 16:36:45 -05:00
2020-06-13 16:37:12 +02:00
2020-09-09 16:22:47 +02:00
2020-06-30 18:26:24 +02:00
2020-06-13 16:37:12 +02:00
2020-06-13 16:37:12 +02:00
2020-09-08 12:39:27 -05:00
2020-09-02 07:11:23 +02:00
2020-07-20 10:25:00 +02:00
2020-07-20 11:16:56 +02:00
2020-07-20 11:03:52 +02:00
2020-05-23 07:16:49 +02:00
2020-05-23 07:16:49 +02:00
2020-07-23 18:54:40 +02:00
2020-05-10 11:16:32 +02:00
2020-05-23 07:16:49 +02:00
2020-09-03 19:49:02 +02:00
2020-06-24 18:41:16 -05:00
2020-06-29 15:54:51 -05:00
2020-09-06 07:47:17 +02:00
2020-05-30 11:23:22 +02:00
2020-06-20 09:47:35 +02:00
2020-05-29 12:16:04 +02:00
2020-07-23 10:09:06 +02:00
2020-06-13 16:37:12 +02:00
2020-09-02 07:13:15 +02:00
2020-07-21 11:27:03 +02:00
2020-05-23 07:30:22 +02:00
2020-05-23 07:16:49 +02:00
2020-09-10 08:02:15 +02:00
2020-07-13 20:23:44 +02:00
2020-09-03 07:17:36 +02:00
2020-05-10 16:45:45 +02:00
2020-09-06 16:00:19 +02:00
2020-09-06 15:35:14 +02:00
2020-06-19 13:16:48 +02:00
2020-06-28 21:01:43 +02:00
2020-06-28 21:01:43 +02:00
2020-05-23 07:16:49 +02:00
2020-05-19 08:35:12 +02:00
2020-05-23 07:16:49 +02:00
2020-05-10 11:16:32 +02:00
2020-05-29 12:16:04 +02:00
2020-05-23 07:16:49 +02:00
2020-06-30 11:00:40 +02:00
2020-08-23 17:17:33 +02:00
2020-08-10 20:08:49 -05:00
2020-09-06 07:46:51 +02:00
2020-09-06 07:46:51 +02:00
2020-09-04 15:29:19 +02:00
2020-08-20 21:49:07 +02:00
2020-07-21 11:27:03 +02:00
2020-09-09 16:22:47 +02:00
2020-09-10 08:02:45 +02:00
2020-09-07 17:45:19 +02:00
2020-09-04 20:43:54 +02:00
2020-09-09 16:22:47 +02:00
2020-09-09 16:22:47 +02:00
2020-09-06 21:02:06 +02:00
2020-09-07 10:54:32 +02:00
2020-05-19 13:47:25 +02:00
2020-05-19 08:35:12 +02:00
2020-05-19 08:53:38 +02:00
2020-09-10 23:27:39 +02:00
2020-09-10 08:02:45 +02:00
2020-05-10 11:16:32 +02:00
2020-06-14 07:16:14 +02:00
a114bf0293