Paul Fultz II
|
5409fa8afd
|
Fix disabled valueFlowUninit tests (#3262)
|
2021-05-21 07:28:34 +02:00 |
Daniel Marjamäki
|
4746d4b819
|
Uninitialized variables; Improved checking of loops
|
2021-05-20 22:56:14 +02:00 |
|
Daniel Marjamäki
|
8e650e4243
|
Uninitialized variable; Fixed FP after unconditional scope with conditional initialization
|
2021-05-20 18:38:59 +02:00 |
|
Daniel Marjamäki
|
f1fff5e904
|
Fixed #10279 (ValueFlow/TokenList: function pointer dereference and call)
|
2021-05-20 13:54:17 +02:00 |
orbitcowboy
|
ef757e5cf9
|
#6952: uninitvar - Added regression test cases
|
2021-05-20 09:14:17 +02:00 |
Robert Reif
|
3af3d7fc06
|
fix #10281 (Tokenizer; Wrong simplification for 'namespace ef = :🅰️🅱️:c::d::ef') (#3263)
|
2021-05-20 08:27:07 +02:00 |
|
Daniel Marjamäki
|
ca5fab8219
|
Uninitialized variables; Fixed false positive in range for loop
|
2021-05-19 21:12:11 +02:00 |
|
Daniel Marjamäki
|
fcdc0088c7
|
motif.cfg; Fix uninitvar false positives for XtSetArg. Its a macro that assigns first argument
|
2021-05-19 13:50:51 +02:00 |
|
Daniel Marjamäki
|
abe810d718
|
Uninitialized variables; Fix false positive in switch inside loop
|
2021-05-19 13:07:04 +02:00 |
Armin Müller
|
c70b8793a3
|
Typos found by running "codespell" (#3251)
|
2021-05-19 11:49:19 +02:00 |
|
Daniel Marjamäki
|
e35c46bcb9
|
Uninitialized variables; Fixed false positive for overloaded & 'ar & a & b & c'
|
2021-05-18 21:03:43 +02:00 |
|
Daniel Marjamäki
|
216918756b
|
Fixed #10276 (FP: (style) Variable '((uint8_t*)(uint16_t)0x1000)[0]' is assigned a value that is never used.)
|
2021-05-18 20:35:00 +02:00 |
|
Daniel Marjamäki
|
0aebc32ae0
|
Uninitialized variables; Fixed false positive for 'cin >> x[0]'
|
2021-05-18 20:13:27 +02:00 |
|
Paul Fultz II
|
4b11bb4ad3
|
10278: ValueFlow: Wrong known value, sign conversion (#3260)
|
2021-05-18 07:28:45 +02:00 |
|
Daniel Marjamäki
|
84f8b7b50a
|
Uninitialized variables; Fixed error message, use Token::errorString
|
2021-05-17 16:51:30 +02:00 |
|
Daniel Marjamäki
|
bde8b4316e
|
Uninitialized variables; Fixed FP in range based for loop
|
2021-05-17 13:31:16 +02:00 |
|
Daniel Marjamäki
|
4322311482
|
Uninitialized variables; Fixed struct member access FP
|
2021-05-17 11:50:31 +02:00 |
|
Daniel Marjamäki
|
c78a1dbbaf
|
Fixed self-check warning, shadow variable
|
2021-05-17 11:35:04 +02:00 |
|
Daniel Marjamäki
|
b115e4a932
|
Uninitialized variables; Fixed false positive in member assignment
|
2021-05-17 10:31:02 +02:00 |
|
Daniel Marjamäki
|
16ce0f1dbf
|
Uninitialized variables; Clarify warnings, bailout for binary & to avoid FPs
|
2021-05-17 09:22:19 +02:00 |
|
Daniel Marjamäki
|
224492b0b5
|
Uninitalialized variables; Avoid FP for void cast
|
2021-05-17 05:59:28 +02:00 |
keinflue
|
e93f8f140e
|
Regression tests for PR #3258 (#3259)
|
2021-05-17 05:35:16 +02:00 |
|
Daniel Marjamäki
|
30ef6db24c
|
CI; Fixed self check
|
2021-05-16 23:39:10 +02:00 |
|
Daniel Marjamäki
|
de2c8217e5
|
CI; Temporary suppression of uninitvar in cli/filelister.cpp
|
2021-05-16 23:18:56 +02:00 |
|
Daniel Marjamäki
|
6a0a2456b5
|
make checkcfg; temporarily disable suppressions
|
2021-05-16 22:48:22 +02:00 |
|
Daniel Marjamäki
|
e034fa8a6e
|
UninitVar: Rewrite CheckUninitVar::isVariableUsage(), use AST primarily
|
2021-05-16 22:27:04 +02:00 |
|
Daniel Marjamäki
|
2c155a7a78
|
Uninitialized variables; use AST
|
2021-05-16 11:58:51 +02:00 |
|
Daniel Marjamäki
|
e73057eb44
|
Fixed #10275 (ValueFlow: condition 'x>=0 && x < 10')
|
2021-05-16 10:34:22 +02:00 |
|
Daniel Marjamäki
|
2c10e0747a
|
extracttests: ensure error comment is written on proper line
|
2021-05-16 08:40:04 +02:00 |
|
Daniel Marjamäki
|
8476900a62
|
checkuninitvar; refactor code a bit
|
2021-05-16 08:38:51 +02:00 |
|
keinflue
|
eee27b975f
|
gtk.cfg: g_strdup and g_strcmp0 allow NULL args (#3258)
|
2021-05-15 22:24:55 +02:00 |
|
Daniel Marjamäki
|
a07ea7e9e9
|
testbufferoverrun: refactor TODO test cases. Use TODO_ASSERT_EQUALS.
|
2021-05-15 21:08:07 +02:00 |
|
Daniel Marjamäki
|
a2ff7752b4
|
testbufferoverrun; refactor TODO test cases
|
2021-05-15 20:42:57 +02:00 |
|
Daniel Marjamäki
|
a40b85ccc6
|
testbufferoverrun: refactor TODO test case for strcat
|
2021-05-15 20:37:16 +02:00 |
|
Daniel Marjamäki
|
b8314289c6
|
testbufferoverrun; fixed TODO test cases for pointer arithmetic overflows
|
2021-05-15 20:32:46 +02:00 |
|
Daniel Marjamäki
|
680a1ee1b9
|
testbufferoverrun; remove TODO strncat/strcat test cases
|
2021-05-15 20:12:36 +02:00 |
|
Daniel Marjamäki
|
db050d0796
|
extracttests: write expected warning as comment in testfile
|
2021-05-15 19:59:28 +02:00 |
|
Daniel Marjamäki
|
26e9525683
|
testbufferoverrun; test case cleanup, ensure there is not uninitialized reads etc
|
2021-05-15 15:35:14 +02:00 |
|
Daniel Marjamäki
|
e66427c395
|
testnullpointer; fix extracttests syntax error
|
2021-05-15 14:59:00 +02:00 |
|
Daniel Marjamäki
|
3c885df74d
|
testunusedvar: Remove test cases that have undefined behavior
|
2021-05-15 14:55:35 +02:00 |
|
orbitcowboy
|
e072c2d786
|
uninitvar: Added a regression test for #7736
|
2021-05-15 14:16:46 +02:00 |
|
Daniel Marjamäki
|
899b88754f
|
uninitialized variables; fix false positive in loop
|
2021-05-15 11:16:47 +02:00 |
|
Paul Fultz II
|
eb96e4980e
|
Fix issue 10268: ValueFlow; Wrong value in for loop (#3257)
|
2021-05-15 08:39:20 +02:00 |
|
Daniel Marjamäki
|
c67e618627
|
self check; Fix shadow variable
|
2021-05-14 23:05:27 +02:00 |
|
Daniel Marjamäki
|
2fcc0c3959
|
Remove extra syntax checking of test cases, it's too pedantic for now
|
2021-05-14 22:32:30 +02:00 |
|
Daniel Marjamäki
|
11c0cc3a6e
|
extracttests; Fix syntax error in new unit test
|
2021-05-14 22:29:15 +02:00 |
|
Daniel Marjamäki
|
105bb78775
|
CI; fix test/cfg/openmp.c
|
2021-05-14 22:16:54 +02:00 |
|
Daniel Marjamäki
|
809c70b9c3
|
uninitialized variables; fix FP in for loop
|
2021-05-14 21:36:51 +02:00 |
|
Daniel Marjamäki
|
404b82fc21
|
unused var; fix todo test cases, redundant assignment of array in loop
|
2021-05-14 19:07:30 +02:00 |
|
Daniel Marjamäki
|
56410c3d00
|
testunusedvar: fix mismatching allocation/deallocation in test
|
2021-05-14 14:01:39 +02:00 |