Daniel Marjamäki
|
4de5dc75aa
|
Fixed #7807 (false positive: (error) Signed integer overflow for expression 'int32_max-1'.)
|
2016-11-07 22:29:40 +01:00 |
|
Daniel Marjamäki
|
684e78f54e
|
synthetic test: fix compiler errors
|
2016-11-07 09:30:17 +01:00 |
|
Daniel Marjamäki
|
ea087e6188
|
synthetic test: renamed tests. tweak report.
|
2016-11-07 08:48:38 +01:00 |
|
Daniel Marjamäki
|
ac7b351d1e
|
ValueFlow: Don't calculate x<<64 and x>>64
|
2016-11-06 20:40:58 +01:00 |
|
Daniel Marjamäki
|
dd69d5eabe
|
ValueFlow: Don't calculate result when there is UB
|
2016-11-06 17:42:01 +01:00 |
Alexander Mai
|
ee11f0974a
|
#7769 segmentation fault at setTokenValue() on invalid code.
|
2016-11-06 14:20:58 +01:00 |
|
Daniel Marjamäki
|
0ddd82d1d5
|
test/synthetic: added pointer alias test case. renamed functions.
|
2016-11-05 16:56:30 +01:00 |
|
Daniel Marjamäki
|
f280061ff8
|
signed int overflow: warn about intmax+1
|
2016-11-05 09:29:52 +01:00 |
|
Daniel Marjamäki
|
2885a75ea6
|
ValueFlow: handle ~ in setTokenValue
|
2016-11-05 09:29:22 +01:00 |
|
Daniel Marjamäki
|
40bf269ea0
|
Add report.py that generates report for synthetic tests
|
2016-11-04 22:16:46 +01:00 |
|
Daniel Marjamäki
|
f5046959b3
|
minor updates in synthetic tests
|
2016-11-04 22:15:41 +01:00 |
|
Daniel Marjamäki
|
8e8194ee0f
|
try to make synthetic tests more explicit
|
2016-11-04 19:32:42 +01:00 |
orbitcowboy
|
919f8ac323
|
Fixed typos. There are no real changes.
|
2016-11-04 15:01:05 +01:00 |
|
orbitcowboy
|
ed453d24da
|
std.cfg: Added returnValue support for iswdigit().
|
2016-11-04 14:20:59 +01:00 |
|
orbitcowboy
|
75124317e9
|
std.cfg: Added returnValue support for iswblank().
|
2016-11-04 14:03:48 +01:00 |
|
Daniel Marjamäki
|
469ca6af1b
|
Add synthetic ub tests
|
2016-11-03 21:45:33 +01:00 |
|
Daniel Marjamäki
|
6e9346323c
|
tweak synthetic tests
|
2016-11-03 20:16:49 +01:00 |
|
Daniel Marjamäki
|
506d1ed68d
|
synthetic tests: add ub.c
|
2016-11-03 14:51:18 +01:00 |
|
Daniel Marjamäki
|
0836b999cf
|
update synthetic tests. removed uninit.c because there was not enough diversity. my goal is to have few tests with much diversity.
|
2016-11-03 09:40:22 +01:00 |
Matthias Krüger
|
c6c17c89c9
|
synthetic tests: add "make clean", make CC settable via env flags.
|
2016-11-02 19:02:10 +01:00 |
|
Daniel Marjamäki
|
ad6c82b2ca
|
Added Makefile to compile synthetic tests
|
2016-11-02 13:57:29 +01:00 |
|
Daniel Marjamäki
|
50d6a23f93
|
test/synthetic/uninit.c : add more tests
|
2016-11-02 12:35:08 +01:00 |
|
Daniel Marjamäki
|
ca19861aaa
|
Add some synthetic tests
|
2016-11-02 11:07:04 +01:00 |
|
Daniel Marjamäki
|
18f466a880
|
Test std::for_each
|
2016-11-02 10:01:56 +01:00 |
|
Daniel Marjamäki
|
fd67bbf2d3
|
Test std::count and std::count_if
|
2016-11-02 09:57:35 +01:00 |
|
Daniel Marjamäki
|
12319d705e
|
Try to fix 'make checkcfg'
|
2016-11-02 09:50:37 +01:00 |
|
Daniel Marjamäki
|
b90a17f64f
|
Test std::all_of, std::any_of, std::none_of
|
2016-11-02 09:29:15 +01:00 |
|
Daniel Marjamäki
|
6e762659c0
|
Test std::find_if and std::find_if_not
|
2016-11-02 09:13:54 +01:00 |
|
Daniel Marjamäki
|
223ce04986
|
Merge pull request #841 from zingsheim/FunctionParameter
Function parameter
|
2016-11-01 21:58:52 +01:00 |
|
Daniel Marjamäki
|
0e9810b7f6
|
CheckStl: validation of iterators returned from functions
|
2016-11-01 14:08:42 +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 |
|
Daniel Marjamäki
|
476789c1a7
|
Remove unused variable in test
|
2016-11-01 12:44:31 +01:00 |
|
Daniel Marjamäki
|
7f71ad8360
|
Test std::find()
|
2016-11-01 12:25:23 +01:00 |
|
Daniel Marjamäki
|
ea545e63c8
|
astyle formatting
[ci skip]
|
2016-10-27 17:11:32 +02:00 |
|
Daniel Marjamäki
|
f6a5f6bb61
|
CheckStl::mismatchingContainers: Refactoring, use Library instead of hardcoding
|
2016-10-27 10:25:45 +02:00 |
Harald Scheidl
|
0de47f709e
|
Fixed #7755 (false positive: member variable is not initialized in the constructor)
|
2016-10-26 10:39:53 +02:00 |
Robert Reif
|
4216b26b8c
|
Fixed #7775 (crash at valueFlowSetConstantValue)
|
2016-10-26 10:36:02 +02:00 |
|
Frank Zingsheim
|
0162f76c63
|
TestIO: Refactoring. Use functions instead of macros.
|
2016-10-24 21:43:58 +02:00 |
|
Robert Reif
|
f25d205999
|
Fixed #7767 (SymbolDatabase: function not analysed when unknown macros are in front of function definition)
|
2016-10-22 22:29:18 +02:00 |
|
Daniel Marjamäki
|
8a0f3009ff
|
ValueFlow: inner and outer function return values
|
2016-10-22 17:22:57 +02:00 |
|
Daniel Marjamäki
|
77cd6c194f
|
ValueFlow: Set 'known' property for function return values
|
2016-10-22 12:24:15 +02:00 |
|
Daniel Marjamäki
|
213f9c1fc8
|
Fix testrunner
|
2016-10-21 02:20:51 +02:00 |
|
Daniel Marjamäki
|
86a620a3b4
|
ValueFlow: Better handling of function return value when there are 0 parameters
|
2016-10-20 16:10:55 +02:00 |
|
Daniel Marjamäki
|
7242e661ef
|
checkcfg: add missing inline suppression for ignoredReturnValue of abs()
|
2016-10-18 22:35:54 +02:00 |
|
Matthias Krüger
|
0b6db67de2
|
checkcfg: add missing inline suppression for ignoredReturnValue of abs()
|
2016-10-18 22:20:06 +02:00 |
|
Daniel Marjamäki
|
efa3aba32a
|
Remove Tokenizer::simplifyNull()
|
2016-10-18 21:44:02 +02:00 |
|
Daniel Marjamäki
|
9cea2d6dfa
|
Tokenizer: Removed simplifications of standard functions that should be handled through configuration.
|
2016-10-18 19:25:58 +02:00 |
Dmitry-Me
|
d2e667ae7b
|
Put apostrophes consistent with other similar messages
|
2016-10-18 15:45:08 +03:00 |
|
orbitcowboy
|
d5a145f288
|
std.cfg: Added <returnValue> information to isblank().
|
2016-10-18 11:00:12 +02:00 |
|
Daniel Marjamäki
|
4587dfffd8
|
Fix -Wshadow warnings
|
2016-10-17 15:45:16 +02:00 |