Robert Reif
|
66cacde3db
|
Fixed #7513 (value flow of array dimension with enum doesn't always work)
|
2016-05-26 11:25:50 +02:00 |
Daniel Marjamäki
|
636e97c272
|
ValueType: Improved debug output for nested types
|
2016-05-08 13:15:20 +02:00 |
|
Daniel Marjamäki
|
b94eaeca6a
|
ValueFlow: For convenience, return constant folded value
|
2016-05-08 11:17:10 +02:00 |
|
Daniel Marjamäki
|
b26dd1ccab
|
ValueFlow: Handle enums
|
2016-05-07 20:18:07 +02:00 |
PKEuS
|
23202d9442
|
Fixed bailoutFunctionPar() for temlate functions (#7396)
|
2016-05-04 11:38:29 +02:00 |
Dmitry-Me
|
12a5f2509b
|
These conditions are mutually exclusive
|
2016-03-03 18:01:15 +03:00 |
|
Dmitry-Me
|
3bcd0e0535
|
Reduce variable lifetime
|
2016-03-02 19:07:20 +03:00 |
|
Daniel Marjamäki
|
1ab5805d98
|
Fixed #6616 (valueFlowForward: for loop, variable in 3rd expression is changed in loop body)
|
2016-02-08 10:43:41 +01:00 |
Alexander Mai
|
cfe9c01bf8
|
#7257 segmentation fault in valueFlowSwitchVariable (invalid code). Correct SymbolDatabase::validateVariables() so it does not complain about function arguments for function without body
|
2016-02-03 21:52:02 +01:00 |
|
Daniel Marjamäki
|
d5884692df
|
Fixed #7363 (valueflowOppositeCondition - if (size1 > size2) ... else if (size1 < size2) ...)
|
2016-01-30 22:13:03 +01:00 |
Matthias Krüger
|
11be3a9265
|
fix internal warning: [lib/valueflow.cpp:722]: (warning) Found simple pattern inside Token::Match() call: "if ("
|
2016-01-30 20:34:33 +01:00 |
|
Daniel Marjamäki
|
30f2bb7796
|
ValueFlow: set known value for opposite condition in else if (#5503)
|
2016-01-30 20:03:55 +01:00 |
|
Daniel Marjamäki
|
b5986f6ad2
|
Fixed #7358 (valueflow: value is not known after conditional assignment)
|
2016-01-27 19:20:00 +01:00 |
|
Daniel Marjamäki
|
462b98afbc
|
Fixed #7310 (ValueFlow: Value of NULL in function call)
|
2016-01-26 16:53:01 +01:00 |
|
Daniel Marjamäki
|
5c9be4a0df
|
Fixed #7216 (ValueFlow: known value in condition)
|
2016-01-26 16:10:15 +01:00 |
|
Daniel Marjamäki
|
a391bca060
|
Fixed #7350 (ValueFlow: Result of 'x & 0' is always 0)
|
2016-01-26 10:07:42 +01:00 |
|
Daniel Marjamäki
|
a8416bfb16
|
Fixed #6000 (ValueFlow: conditional code in for loops)
|
2016-01-24 13:11:51 +01:00 |
|
Daniel Marjamäki
|
76cdfbf487
|
Fixed #6330 (valueflow: condition is always false first iteration in dowhile loop)
|
2016-01-24 08:57:57 +01:00 |
|
Daniel Marjamäki
|
522de81cc7
|
Refactoring: Move isReturn() to astutils and rename it to isReturnScope()
|
2016-01-16 18:52:34 +01:00 |
Lauri Nurmi
|
996c9244d8
|
Update copyright year to 2007-2016.
|
2016-01-01 15:34:45 +02:00 |
|
Alexander Mai
|
e9635fd393
|
#7236 segmentation fault (invalid code) in ValueFlow::setValues. #7237 segmentation fault (invalid code) in Tokenizer::setVarIdClassDeclaration
|
2015-12-26 23:51:10 +01:00 |
|
Daniel Marjamäki
|
9cb8e9a07e
|
Revert "Fixed #3923 (valueFlowForward: assignment in if should not cause bailout for code in else)"
This reverts commit 04f9b71281.
|
2015-12-12 16:50:02 +01:00 |
|
Daniel Marjamäki
|
04f9b71281
|
Fixed #3923 (valueFlowForward: assignment in if should not cause bailout for code in else)
|
2015-12-12 15:50:33 +01:00 |
|
Alexander Mai
|
ba0859e838
|
#6981 crash in checkvaarg.cpp (with possible fix). Avoid segfault. Add SymbolDatabase::validate() to allow validating smyboldatabase
|
2015-12-05 20:55:26 +01:00 |
|
Daniel Marjamäki
|
508b06abaa
|
Fixed #6973 (ValueFlow: dont set possible tokvalues in unreachable code)
|
2015-12-01 07:49:19 +01:00 |
|
Daniel Marjamäki
|
8fb6f33aca
|
ValueFlow: dont set dynamic values in unreachable code (#6973)
|
2015-11-30 16:15:58 +01:00 |
|
Alexander Mai
|
c70b71e353
|
#5888 fsanitize=undefined: signed integer overflow: 4611686018427387904 * 2 cannot be represented in type 'long long int' in valueflow.cpp
|
2015-11-27 21:45:08 +01:00 |
|
Daniel Marjamäki
|
0022ce8075
|
Refactor handling of char constants
|
2015-11-20 10:10:38 +01:00 |
|
Daniel Marjamäki
|
0f9d90d2be
|
Changed Copyrights. Removed my name.
|
2015-11-18 20:04:50 +01:00 |
|
Daniel Marjamäki
|
04ecbba361
|
Fixed #7135 (ValueFlow: Wrong pointer alias set for 'p = &p[x];')
|
2015-11-15 23:38:23 +01:00 |
|
Daniel Marjamäki
|
595f1e1a27
|
ValueFlow: set value for char literals
|
2015-11-12 16:38:58 +01:00 |
|
Daniel Marjamäki
|
34dbc3c00c
|
ValueFlow: Improved handling of a[i]
|
2015-11-12 16:14:27 +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 |
|
PKEuS
|
389d30fe44
|
Fixed crash on garbage code (#7118)
|
2015-11-09 11:21:07 +01:00 |
|
Daniel Marjamäki
|
37dbebb093
|
Fixed #7049 (valueflow: value is not known after case)
|
2015-11-08 14:08:47 +01:00 |
|
Daniel Marjamäki
|
f7a7a8a95c
|
Fixed #6934 (False positive returnLocalVariable - assigning local array to function argument)
|
2015-11-07 15:07:26 +01:00 |
Aleksandr Pikalev
|
2d0ecc08c1
|
Check pointers for NULL before utilizing and do not check it later
|
2015-11-06 20:24:09 +01:00 |
|
Daniel Marjamäki
|
4b0625c570
|
Fixed #6239 (Possible null pointer dereference after pointer is modified by a function template)
|
2015-10-27 12:33:46 +01:00 |
|
Daniel Marjamäki
|
6b9088de3f
|
Fixed #7057 (valueFlowAfterAssign doesn't terminate)
|
2015-10-19 19:36:46 +02:00 |
|
Alexander Mai
|
8e3e981323
|
#7050 segmentation fault (invalid code) in isVariableChanged
|
2015-10-15 21:27:55 +02:00 |
|
Daniel Marjamäki
|
60f8982999
|
Fixed #7039 (ValueFlow: bitand calculation '16&15')
|
2015-10-14 10:44:04 +02:00 |
Frank Zingsheim
|
3bc21b8138
|
Fixed #6996 (ValueFlow: known and possible values)
|
2015-10-04 10:33:43 +02:00 |
|
Daniel Marjamäki
|
bd243a4748
|
Fixed #6903 (ValueFlow: Fix FP in ?:)
|
2015-09-27 13:29:28 +02:00 |
|
Dmitry-Me
|
85d47e25e4
|
Move variable declaration to where it's first used
|
2015-09-16 13:15:07 +03:00 |
|
Daniel Marjamäki
|
8cee96a179
|
ValueFlow: Refactor 'ProgramMemory' so it can handle token * values also and not just int values. I believe this refactoring is needed before #6973 can be fixed.
|
2015-09-12 19:49:02 +02:00 |
|
Dmitry-Me
|
70d98c7176
|
Get rid of set object
|
2015-09-10 17:59:20 +03:00 |
amai2012
|
45bb7d5adb
|
Merge pull request #647 from Dmitry-Me/continueOnRuleMatch
Treat matches as mutually exclusive
|
2015-08-28 16:00:53 +02:00 |
|
Dmitry-Me
|
962f0ee584
|
Treat matches as mutually exclusive
|
2015-08-28 15:27:56 +03:00 |
|
Dmitry-Me
|
81613d958a
|
Replace match call with explicit comparison
|
2015-08-28 15:16:10 +03:00 |
|
PKEuS
|
4d80df2f4a
|
Added pointer to Type to Token (similar to Token::Variable() and Token::function()):
- Accessible via Token::type()
- Renamed former Token::type() to Token::tokType()
- Removed SymbolDatabase::isClassOrStruct()
|
2015-08-15 11:19:21 +02:00 |