Daniel Marjamäki
|
0877adb542
|
astyle formatting
|
2014-01-05 21:12:32 +01:00 |
|
Daniel Marjamäki
|
afaf1473a8
|
Value flow: refactorings, write debug warning if iterating too far
|
2014-01-05 20:06:46 +01:00 |
|
Daniel Marjamäki
|
d8270c710a
|
Add new experimental value flow analysis
|
2014-01-04 20:57:02 +01:00 |
|
Daniel Marjamäki
|
372c29c24e
|
Fixed #5284 (duplicateExpression falsely reported by members of a union in some circumstances)
|
2014-01-02 16:58:07 +01:00 |
|
Daniel Marjamäki
|
4b72f01e99
|
clarify calculation: Fixed FP for 'a = (*p ? 1 : 2)'
|
2013-12-28 11:02:39 +01:00 |
|
Daniel Marjamäki
|
4c44e62159
|
AST: Refactored CheckOther::clarifyCalculation
|
2013-12-24 10:07:20 +01:00 |
|
Daniel Marjamäki
|
042d3afb80
|
CheckOther::checkDuplicateExpression: Readded warnings when there is a expression between the duplicate expressions 'X || Y || X'
|
2013-12-24 07:21:46 +01:00 |
|
Daniel Marjamäki
|
ac30a84c3a
|
Refactoring: Replaced CheckOther::checkCCTypeFunctions with configuration
|
2013-12-23 19:58:33 +01:00 |
|
Daniel Marjamäki
|
76b907fe65
|
Fixed #5252 (Improve check: use Library to validate function arguments in invalidFunctionUsage)
|
2013-12-23 10:06:45 +01:00 |
|
Daniel Marjamäki
|
fdcb6634df
|
Fixed #5190 (FP Use const reference to avoid data copying)
|
2013-12-14 08:46:18 +01:00 |
|
Daniel Marjamäki
|
08cd0cd0f7
|
CheckOther::checkDuplicateExpression: Added TODO comment to readd checking for duplicate separated expressions
|
2013-12-13 06:40:35 +01:00 |
|
Daniel Marjamäki
|
83066edec0
|
Code cleanup
|
2013-12-10 06:29:06 +01:00 |
|
Daniel Marjamäki
|
5ba02d2fdd
|
AST: Always use AST
|
2013-12-09 18:06:19 +01:00 |
|
Daniel Marjamäki
|
da540a3bb3
|
AST: Improved astIsFloat handling of expressions
|
2013-11-25 04:26:15 +01:00 |
|
Daniel Marjamäki
|
abdf2bb9d4
|
AST: fixed isSameExpressions handling of ({..})
|
2013-11-25 04:08:28 +01:00 |
|
Daniel Marjamäki
|
13cd0f41f6
|
AST: Fixed FP in isSameExpression when there are different casts
|
2013-11-24 15:17:08 +01:00 |
|
Daniel Marjamäki
|
e8eeb90adb
|
AST: Fixed 'same expression' false positives (git merge --squash s, <<, >>)
|
2013-11-20 16:18:09 +01:00 |
|
Daniel Marjamäki
|
27a40b10e1
|
AST/incorrectLogicOperator: Better handling of large doubles where x+1=>x
|
2013-11-20 06:33:34 +01:00 |
|
Daniel Marjamäki
|
4e003c392e
|
AST: code cleanup. Remove unreachable 'break' after 'return'
|
2013-11-18 23:24:58 +01:00 |
|
Daniel Marjamäki
|
45ee3b0fba
|
AST: Refactoring new checkIncorrectLogic checking
|
2013-11-18 23:09:14 +01:00 |
|
Daniel Marjamäki
|
033cb19656
|
Same expression: Don't write warnings for same expression on both sides of arithmetical operators
|
2013-11-17 17:21:39 +01:00 |
|
Daniel Marjamäki
|
5af2fe6e5b
|
AST: improved 'incorrect logic' checking when there are nested expressions
|
2013-11-15 06:51:35 +01:00 |
|
Daniel Marjamäki
|
d1721b9d1b
|
AST: Improved 'same expression on both sides of operator' checking for nested operators
|
2013-11-15 06:35:46 +01:00 |
|
Daniel Marjamäki
|
203d3e916b
|
Fixed #5173 (false positive Variable XX is reassigned a value before the old one has been used)
|
2013-11-14 16:10:00 +01:00 |
|
Daniel Marjamäki
|
1ecade2657
|
AST: don't warn about duplicate expressions around '+' operator. It might be more efficient than using for instance '*2'
|
2013-11-11 20:03:59 +01:00 |
|
Daniel Marjamäki
|
58d7caded1
|
AST: improved handling of casts
|
2013-11-11 16:39:34 +01:00 |
|
Daniel Marjamäki
|
4027848761
|
incorrectLogicOperator: fixed FP when comparing char values. improved handling of float comparisons.
|
2013-11-10 18:06:51 +01:00 |
|
Daniel Marjamäki
|
807f62520c
|
Fixed crash caused by endless recursion in redundant assignments check
|
2013-11-10 17:20:40 +01:00 |
Alexander Mai
|
687aeb4f5f
|
Fixed #5158 (segmentation fault (valid code))
|
2013-11-10 16:22:52 +01:00 |
|
Daniel Marjamäki
|
4ed4d71b3c
|
CheckOther::checkIncorrectLogicOperator(): cleanup
|
2013-11-10 14:24:09 +01:00 |
|
Daniel Marjamäki
|
cadb284a3d
|
Refactored the AST checking of CheckOther::checkIncorrectLogicOperator()
|
2013-11-10 11:59:18 +01:00 |
Martin Ettl
|
babbee4e73
|
Fixed typos in comments, no functional changes.
|
2013-11-09 16:07:28 +01:00 |
|
Daniel Marjamäki
|
b0ce42565e
|
AST: Added experimental new implementations for CheckAssignIf::comparison, CheckOther::checkIncorrectLogicOperator and CheckOther::checkDuplicateExpression
|
2013-11-07 14:38:08 +01:00 |
orbitcowboy
|
43103c84d8
|
Checkother:memsetZeroBytes: removed not needed '\n' from verbose message.
|
2013-11-07 05:15:36 -08:00 |
|
orbitcowboy
|
3d47ae9463
|
checkother:memsetZeroBytes: improved verbose message.
|
2013-11-06 06:42:27 -08:00 |
|
orbitcowboy
|
86aa2a27ab
|
checkother: improved constness of local variables, no functional change.
|
2013-11-06 06:15:32 -08:00 |
|
Daniel Marjamäki
|
fb04c8ff84
|
Fixed #5107 (redundantAssignment when pointer changes)
|
2013-11-04 23:46:07 +01:00 |
|
Daniel Marjamäki
|
06c5bd0daa
|
Fixed #5128 (False positive zerodivcond 'a ? 1 / a : 0')
|
2013-10-30 16:51:00 +01:00 |
|
Daniel Marjamäki
|
364757e1e1
|
Fixed #5089 ('inconclusive' output printed although --inconclusive not specified)
|
2013-10-23 06:42:52 +02:00 |
|
Daniel Marjamäki
|
d1b03d9c31
|
Fixed false positive for 'object is destroyed immediately' when there is no code after the object
|
2013-10-22 19:37:11 +02:00 |
|
Daniel Marjamäki
|
a55056c770
|
Fixed #5105 (false positive: (warning) Either the condition 'b!=0' is useless or there is division by zero)
|
2013-10-22 16:18:42 +02:00 |
|
Daniel Marjamäki
|
5d7e0aebf4
|
Fixed #5084 (False positive: (style) Same expression on both sides of '&&')
|
2013-10-19 18:04:53 +02:00 |
|
Daniel Marjamäki
|
6aa03efa2f
|
Fixed #5103 (Don't show 'The scope of the variable can be reduced' if there is no explicit block with { })
|
2013-10-19 17:27:02 +02:00 |
|
Daniel Marjamäki
|
9ce7efc6e4
|
commaSeparatedReturn: made checking experimental for now because there are false positives (#5076)
|
2013-10-08 18:05:07 +02:00 |
|
Daniel Marjamäki
|
4cd0108b93
|
Fixed #4976 (False positive: (style) A pointer can not be negative (git/sha1_file.c))
|
2013-10-06 16:52:27 +02:00 |
|
Daniel Marjamäki
|
6830d5f7a4
|
Fixed #5042 (false positive: Redundant code (set filled in initialization list))
|
2013-10-05 12:26:09 +02:00 |
|
Martin Ettl
|
ee9b7283ec
|
checkother:checkComparisonFunctionIsAlwaysTrueOrFalse: Removed redudant varid != 0 check. No functional changes.
|
2013-09-29 13:33:46 +02:00 |
|
Daniel Marjamäki
|
973bdcc6d8
|
Fixed #4929 (false positive: Division by zero (standard function div()))
|
2013-09-29 11:13:49 +02:00 |
|
Daniel Marjamäki
|
c05a80d314
|
zero division or useless condition: dont crash when variable declaration is not parsed correctly
|
2013-09-28 16:51:38 +02:00 |
|
Martin Ettl
|
5aaaff46ee
|
Fixed #5049: new check: (warning) Comparison of two identical variables with isgreater(result,result) evaluates always to false.
|
2013-09-26 07:07:48 +02:00 |