Daniel Marjamäki
|
30cae358d8
|
Removed the --value-flow flag. ValueFlow analysis will always be enabled from now on.
|
2014-01-17 18:07:05 +01:00 |
|
Daniel Marjamäki
|
3facc06cb7
|
CheckOther: Removed non-valueflow check for division by possible zero before condition
|
2014-01-17 17:42:54 +01:00 |
|
Daniel Marjamäki
|
0203a4a6f5
|
Tokenizer: Removed simplifyGoto as it's the cause of various FPs I see
|
2014-01-17 17:36:45 +01:00 |
|
Daniel Marjamäki
|
4eb746d7cc
|
Tokenizer: Removed simplifyComparisonOrder
|
2014-01-17 17:25:56 +01:00 |
|
Daniel Marjamäki
|
e3496080c8
|
Fixed #5334 (False positive: same expression on both sides of '||')
|
2014-01-12 07:40:56 +01:00 |
|
Daniel Marjamäki
|
ceca6be22b
|
Fixed #5334 (False positive: same expression on both sides of '||')
|
2014-01-11 15:15:01 +01:00 |
|
Daniel Marjamäki
|
9c50deda64
|
value flow: reverted TestOther, don't use value flow in test cases yet
|
2014-01-08 16:18:50 +01:00 |
|
Daniel Marjamäki
|
6d22c9deaa
|
value flow: if unsigned variable is compared against 1 with either >= or <= then assume it can have the value 0
|
2014-01-08 06:53:17 +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 |
PKEuS
|
6f76dfcb22
|
Forward declare tinyxml type used in library.h to avoid problems with dynamic linked configuration.
|
2013-12-31 12:30:17 +01:00 |
|
PKEuS
|
4f0121ee2f
|
Splitted simplification out of tokenize()
|
2013-12-30 17:45:28 +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
|
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
|
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
|
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
|
cadb284a3d
|
Refactored the AST checking of CheckOther::checkIncorrectLogicOperator()
|
2013-11-10 11:59:18 +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 |
|
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 |
XhmikosR
|
32e2a5b879
|
test/testother.cpp: Fix a C4800 MSVC warning.
|
2013-10-25 18:14:16 +03: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
|
783bb6eb0b
|
Test that there is no segfault in CheckOther::checkZeroDivisionOrUselessCondition when the SymbolDatabase is invalid. Ticket: #5045
|
2013-10-10 22:23:52 +02:00 |
orbitcowboy
|
6eaa2f2444
|
Tokenizer:simplifyMathFunctions: added support for acos[f|l] functions.
|
2013-10-09 07:59:32 -07:00 |
|
orbitcowboy
|
58c09f80b6
|
Testother: split up a large testfunction, no functional change.
|
2013-10-09 07:48:46 -07: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
|
973bdcc6d8
|
Fixed #4929 (false positive: Division by zero (standard function div()))
|
2013-09-29 11:13:49 +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 |
|
Daniel Marjamäki
|
17c0bb3cab
|
revert 027e5cc8. the div() standard function should not be reimplemented. create a different fix. Ticket: #4929
|
2013-09-23 18:01:15 +02:00 |
|
Daniel Marjamäki
|
027e5cc860
|
Fixed #4929 (false positive: Division by zero (standard function div()))
|
2013-09-22 09:52:12 +02:00 |