Daniel Marjamäki
|
d82805b7fe
|
CheckCondition: Improved checking for same conditions
|
2017-09-04 22:40:34 +02:00 |
Daniel Marjamäki
|
abae5e0156
|
Fixed #8198 (false positive: (warning) Same condition, second condition is always false)
|
2017-09-04 22:25:20 +02:00 |
Daniel Marjamäki
|
ad494b996c
|
TestCondition: break out tests to functions
|
2017-09-04 22:11:53 +02:00 |
Daniel Marjamäki
|
d838dc2129
|
CheckCondition::multiCondition2: Fix FN for pointers
|
2017-09-04 15:58:22 +02:00 |
Daniel Marjamäki
|
9465dca583
|
CheckCondition: Fix FPs for aliased variables (daca)
|
2017-09-04 09:34:03 +02:00 |
Daniel Marjamäki
|
ef4a7ba7f2
|
Fix FP in CheckCondition::multiCondition2
|
2017-09-03 14:46:37 +02:00 |
Daniel Marjamäki
|
b9849d9e4e
|
CheckCondition::multiCondition2: Handle loops better
|
2017-09-03 11:03:01 +02:00 |
Daniel Marjamäki
|
01e65d3e00
|
Improved CheckCondition::multiCondition2 so deeper bugs are found
|
2017-09-03 10:44:22 +02:00 |
Daniel Marjamäki
|
f2ec5f24ce
|
Fixed #5845 (new check: same condition after noreturn conditional code => second condition is always false)
|
2017-09-03 10:34:34 +02:00 |
Daniel Marjamäki
|
0b751dcc1b
|
Opposite conditions: Better matching when outer condition uses &&
|
2017-09-01 23:24:15 +02:00 |
Daniel Marjamäki
|
3b4f60fd21
|
Updated error message
|
2017-09-01 13:33:47 +02:00 |
Daniel Marjamäki
|
7fad1b9a36
|
Improved checking for opposite conditions
|
2017-08-31 22:53:21 +02:00 |
Daniel Marjamäki
|
dce942197c
|
Fixed #8186 (Inner condition always false inside for loop)
|
2017-08-31 16:00:12 +02:00 |
Daniel Marjamäki
|
255d0410a4
|
Fixed #8085 (Token::expressionString: unsigned long long)
|
2017-07-21 09:16:42 +02:00 |
Daniel Marjamäki
|
814d2ae2a4
|
Fixed #7028 (False positive: opposite conditions (const method modifies variable))
|
2017-07-10 23:12:45 +02:00 |
Ayaz Salikhov
|
28aa939d69
|
iwyu - include what you use
|
2017-05-27 04:33:47 +02:00 |
Daniel Marjamäki
|
040d2f0012
|
Use simplecpp lexer in test cases
|
2017-05-18 21:52:31 +02:00 |
Daniel Marjamäki
|
55cd69e290
|
alwaysTrueFalse: Dont warn when checking sizeof for some type. such condition might be platform dependent.
|
2017-05-13 19:07:24 +02:00 |
Daniel Marjamäki
|
7fd04cd8d0
|
Updated Token::expressionString(), write '->' instead of '.'
|
2017-04-30 14:22:18 +02:00 |
PKEuS
|
9225bff31d
|
Added (back) support for enums to CheckCondition::checkIncorrectLogicOperator() (#7794)
|
2017-03-23 18:57:48 +01:00 |
PKEuS
|
ca3e3b3cdb
|
Fixed false positive multiCondition when & is used in both conditions (#7827)
|
2017-03-15 19:37:14 +01:00 |
Daniel Marjamäki
|
263c3596d5
|
known conditions: dont warn about 0 or 1 conditions as those look intentional
|
2017-03-08 18:39:19 +01:00 |
Daniel Marjamäki
|
1c6c209353
|
Fixed #7890 (1.77 false positive from knownConditionTrueFalse with function-like macros)
|
2017-03-03 19:53:16 +01:00 |
Daniel Marjamäki
|
16c06e5714
|
Fixed #7588 (Opposite conditions in nested 'if' blocks lead to a dead code block.)
|
2017-02-28 18:46:28 +01:00 |
Daniel Marjamäki
|
a53f14da25
|
Fixed #7925 (False Positive identical condition)
|
2017-02-22 21:13:36 +01:00 |
Stefan Weil
|
57b57428c2
|
Fix some typos in comments (found by codespell)
Signed-off-by: Stefan Weil <sw@weilnetz.de>
|
2016-11-27 11:40:42 +01:00 |
Matthias Krüger
|
cf24ea5221
|
fix #7783: false positive knownConditionTrueFalse on assert(0 && "message").
|
2016-11-23 21:54:38 +01:00 |
Frank Zingsheim
|
d4f01583b6
|
Fixed TODO (check if function parameter is non-const reference etc..) by common function
|
2016-11-01 14:06:30 +01:00 |
Harald Scheidl
|
58eb644003
|
Improved Check: Warn about number and char literals in boolean expressions (#7750)
|
2016-10-09 13:21:00 +02:00 |
Daniel Marjamäki
|
9417425829
|
Fix testrunner
|
2016-08-29 04:26:27 +02:00 |
Bartlomiej Grzeskowiak
|
09a83f2cc8
|
Fixed #7567 ("(a | 7) > 6U" is always true)
|
2016-08-07 16:58:39 +02:00 |
Daniel Marjamäki
|
5611a71820
|
Fixed #7543 (False positive boolean result used in bitwise operation)
|
2016-07-29 18:46:43 +02:00 |
Daniel Marjamäki
|
89be630156
|
Fixed #7543 (False positive boolean result used in bitwise operation)
|
2016-07-29 17:24:22 +02:00 |
Bartlomiej Grzeskowiak
|
a5cfa2b12c
|
- #7522 and #7428 revisited. ((a&7)>7U) is always false and ((X|7)>=6) is correct (X can be negative).
|
2016-06-17 12:12:53 +02:00 |
PKEuS
|
f2ae295f1e
|
Support char literals in CheckCondition::checkIncorrectLogicOperator() (#5912)
|
2016-05-24 15:08:48 +02:00 |
PKEuS
|
5d5886b464
|
Properly detect binary & in CheckCondition::clarifyCondition() (fixes false positives when self-checking cppcheck)
|
2016-05-06 17:39:41 +02:00 |
PKEuS
|
3366a74bb0
|
Refactorized CheckCondition::clarifyCondition():
- Reimplemented parts of the check based on ValueType
- Merged two loops
Fixed some type conversion messages
|
2016-05-06 15:22:45 +02:00 |
Bartlomiej Grzeskowiak
|
7e020e1d92
|
- fix for #7428 false negative: Statement is always false
|
2016-04-14 14:50:08 +02:00 |
Daniel Marjamäki
|
7bd034c009
|
Fixed #7369 (False positive knownConditionTrueFalse - assertions)
|
2016-02-06 14:37:44 +01:00 |
Daniel Marjamäki
|
40e14f401f
|
CheckCondition::alwaysTrueFalse: Move to normal checking to catch more problems
|
2016-01-26 10:08:21 +01:00 |
Daniel Marjamäki
|
6faa637fc7
|
Fixed #6537 (False positive badBitmaskCheck - error in valueflow)
|
2016-01-24 13:45:44 +01:00 |
Lauri Nurmi
|
996c9244d8
|
Update copyright year to 2007-2016.
|
2016-01-01 15:34:45 +02:00 |
Daniel Marjamäki
|
1b0bb02f1d
|
invalidTestForOverflow: Fixed some false negatives (#7184)
|
2015-11-30 11:12:51 +01:00 |
Daniel Marjamäki
|
fb8cce647c
|
invalidTestForOverflow: Refactor; move from checkother to checkcondition
|
2015-11-30 08:51:15 +01:00 |
Daniel Marjamäki
|
0f9d90d2be
|
Changed Copyrights. Removed my name.
|
2015-11-18 20:04:50 +01:00 |
Daniel Marjamäki
|
b9b0964dab
|
Fixed #7006 (False positive Mismatching assignment and comparison (variable is changed in loop))
|
2015-11-11 13:45:28 +01:00 |
Alexander Mai
|
2554674f4b
|
Add regression test for previously fixed #6064, and TODO test for #6081
|
2015-11-07 11:17:44 +01:00 |
Daniel Marjamäki
|
ac9cb87e04
|
ValueType: Handle bit operations, sizeof better. Use ValueType in astIsFloat().
|
2015-10-11 12:20:40 +02:00 |
PKEuS
|
0a34b206e8
|
Refactorization: Reduced code duplication in test suite
|
2015-10-08 11:35:51 +02:00 |
PKEuS
|
3a5cef8a7e
|
Refactorization: Improved usage of Settings instances in test suite
|
2015-10-07 18:40:03 +02:00 |