Daniel Marjamäki
|
6bc0df2908
|
checkTooBigBitwiseShift: Separate id for signed shift overflow
|
2017-09-19 09:21:20 +02:00 |
|
Daniel Marjamäki
|
be0ad20a04
|
checkTooBigBitwiseShift: bitshift overflow when lhs is signed
|
2017-09-19 09:08:44 +02:00 |
|
Daniel Marjamäki
|
0cf551351b
|
tooBigBitwiseShift: check all calculations, not only in function bodies
|
2017-09-19 08:50:19 +02:00 |
Dmitry-Me
|
696c5b8100
|
Reduce duplication, omit building unneeded string
|
2017-09-18 03:06:35 +03:00 |
|
Dmitry-Me
|
7d6ef71c4d
|
More selective match pattern
|
2017-09-18 02:45:02 +03:00 |
|
Daniel Marjamäki
|
fe0a514a7c
|
Fix testrunner
|
2017-09-16 02:13:48 +02:00 |
|
Daniel Marjamäki
|
2e6d78bd08
|
Fixed #8184 (Syntax error: case outside switch)
|
2017-09-15 22:37:31 +02:00 |
|
Daniel Marjamäki
|
4bd251a6d9
|
daca2: skip docs and examples.. that might be garbage
|
2017-09-15 22:19:11 +02:00 |
|
Daniel Marjamäki
|
1dbcba4dd6
|
Fixed #8221 (ValueFlow: value for static variable that is not written)
|
2017-09-15 15:58:19 +02:00 |
|
Daniel Marjamäki
|
d79762cfc3
|
Fixed #7449 (reademptycontainer (inconclusive) when variable changed in function )
|
2017-09-15 10:49:58 +02:00 |
|
Dmitry-Me
|
349a28705a
|
Clarify code with assertions
|
2017-09-15 01:11:27 +03:00 |
|
Dmitry-Me
|
0fe82335ac
|
Remove duplicated method call
|
2017-09-15 00:53:44 +03:00 |
|
Dmitry-Me
|
f28524fefa
|
Unify variable names
|
2017-09-15 00:44:59 +03:00 |
|
Daniel Marjamäki
|
ef1f3fbee6
|
Fixed #8173 (ValueFlow: use AST when setting values in assignment RHS ((n=42) && n=='A'))
|
2017-09-14 22:49:47 +02:00 |
|
Daniel Marjamäki
|
927b14b60f
|
Fixed #8217 (Crash in isVariableChanged())
|
2017-09-14 15:45:15 +02:00 |
|
Dmitry-Me
|
6cfcf8610d
|
Improve coverage for operator= return type detection.
This adds a testcase with parameter being a reference to non-const.
|
2017-09-14 00:12:10 +03:00 |
|
Daniel Marjamäki
|
bb20c0504e
|
CheckCondition: Fix FP in daca (iqtree) 'in >> ch'
|
2017-09-13 22:46:36 +02:00 |
|
Daniel Marjamäki
|
8f6c98e3d6
|
Remove TestGarbage testcase with unhandled characters
|
2017-09-12 22:48:30 +02:00 |
|
Daniel Marjamäki
|
5c7cf584ef
|
bump simplecpp
|
2017-09-12 22:42:10 +02:00 |
|
Dmitry-Me
|
37dea8a5cf
|
Only check the value if it wasn't surely set by previous code
|
2017-09-12 23:20:07 +03:00 |
|
Dmitry-Me
|
a4c20b3606
|
Break loop early
|
2017-09-12 07:48:06 +03:00 |
|
Dmitry-Me
|
4126fab1d5
|
Simplify code with temporary
|
2017-09-12 07:46:38 +03:00 |
|
Dmitry-Me
|
caebf137bc
|
Cache and reuse value
|
2017-09-12 00:21:36 +03:00 |
|
Dmitry-Me
|
9ff04b4df1
|
Resolve CID 1368512
Wrong pointer was being checked
|
2017-09-11 23:50:42 +03:00 |
|
Dmitry-Me
|
988de6422e
|
Omit repeated computations
|
2017-09-11 18:36:44 +03:00 |
|
Daniel Marjamäki
|
56544ac936
|
Fixed #8211 (Crash on incomplete code in isVariableChanged ())
|
2017-09-11 13:45:36 +02:00 |
|
Daniel Marjamäki
|
9f4fc7b323
|
Rename sameConditionAfterEarlyExit to identicalConditionAfterEarlyExit
|
2017-09-10 22:59:39 +02:00 |
|
Daniel Marjamäki
|
db321c2617
|
CheckCondition: Fix FP when there is increment/decrement in condition (daca icu)
|
2017-09-10 22:58:05 +02:00 |
|
Daniel Marjamäki
|
c34fdd1905
|
CheckCondition: Fix FP for undeclared variables (daca)
|
2017-09-10 22:30:41 +02:00 |
|
Daniel Marjamäki
|
e7f469c4ba
|
update simplecpp
|
2017-09-08 23:20:39 +02:00 |
|
Daniel Marjamäki
|
b9b47809f9
|
Fixed #8197 (iscast: '(b)&1' is not a cast)
|
2017-09-08 22:52:16 +02:00 |
|
Daniel Marjamäki
|
b81b4fcb78
|
Fixed #8208 (CheckCondition: Use Library to determine if function is const)
|
2017-09-08 18:08:32 +02:00 |
orbitcowboy
|
7e92535b59
|
std.cfg: Improved support for std::ios std::ios_base std::ofstream and std::ostream functions.
|
2017-09-08 16:43:40 +02:00 |
|
Daniel Marjamäki
|
899ad8479d
|
CheckCondition: Fixed FP when condition contains global static variable
|
2017-09-08 15:44:56 +02:00 |
|
Daniel Marjamäki
|
d9adb5432a
|
astyle formatting
[ci skip]
|
2017-09-08 15:41:14 +02:00 |
Nekto89
|
9cbfa0e383
|
Fix #7803: false negative: condition is always true 'if (flags & A)' (#938)
|
2017-09-08 14:30:42 +02:00 |
Ayaz Salikhov
|
bddc698295
|
Make warning disappear (#957)
|
2017-09-08 14:25:08 +02:00 |
|
Daniel Marjamäki
|
58db814d72
|
Rephraze /Same/Identical/
|
2017-09-08 12:41:33 +02:00 |
|
Daniel Marjamäki
|
97125acabd
|
Fixed #7365 (False positive: Use of erased iterator)
|
2017-09-08 09:45:30 +02:00 |
|
Daniel Marjamäki
|
57004ed533
|
Fixed #7663 (False positive: uninitialized variable (multi variables in inner scopes))
|
2017-09-07 23:08:55 +02:00 |
|
Daniel Marjamäki
|
120d0f86d0
|
CheckCondition: Fix FP about same condition when switch case is used (daca)
|
2017-09-07 22:05:01 +02:00 |
|
Ayaz Salikhov
|
1d2b58e828
|
Correctify explicit usage (#951)
|
2017-09-07 13:03:45 +02:00 |
|
Ayaz Salikhov
|
2604156fe7
|
Use C++ headers (#949)
|
2017-09-07 13:02:44 +02:00 |
|
Ayaz Salikhov
|
64eccd780c
|
Don't use static where not needed (#952)
|
2017-09-07 13:01:07 +02:00 |
|
Ayaz Salikhov
|
f0b5327450
|
Fix codestyle (#953)
|
2017-09-07 13:00:46 +02:00 |
|
Ayaz Salikhov
|
0fc35c1350
|
Name all params (#956)
|
2017-09-07 12:59:53 +02:00 |
|
Ayaz Salikhov
|
76dc828e24
|
Use nullptr (#950)
Refactoring: use nullptr
|
2017-09-07 10:33:52 +02:00 |
|
Daniel Marjamäki
|
f2d56363d3
|
CheckCondition: Fix TODO assertion
|
2017-09-06 22:53:36 +02:00 |
|
Daniel Marjamäki
|
4c30a5af25
|
CheckCondition: Break out code to check if function call is non-const
|
2017-09-06 22:51:21 +02:00 |
|
Daniel Marjamäki
|
e0c7f7f8f2
|
CheckCondition: Fix FP when there are method calls in condition
|
2017-09-06 22:26:00 +02:00 |