File tree Expand file tree Collapse file tree 2 files changed +5
-4
lines changed
cpp/common/test/rules/readofuninitializedmemory Expand file tree Collapse file tree 2 files changed +5
-4
lines changed Original file line number Diff line number Diff line change 1212| test.cpp:217:8:217:9 | p2 | Local variable $@ is read here and may not be initialized on all paths. | test.cpp:214:8:214:9 | p2 | p2 |
1313| test.cpp:220:10:220:11 | p2 | Local variable $@ is read here and may not be initialized on all paths. | test.cpp:214:8:214:9 | p2 | p2 |
1414| test.cpp:229:7:229:8 | p4 | Local variable $@ is read here and may not be initialized on all paths. | test.cpp:227:8:227:9 | p4 | p4 |
15- | test.cpp:233 :14:233 :15 | p5 | Local variable $@ is read here and may not be initialized on all paths. | test.cpp:232 :8:232 :9 | p5 | p5 |
16- | test.cpp:237 :8:237 :9 | p6 | Local variable $@ is read here and may not be initialized on all paths. | test.cpp:235 :8:235 :9 | p6 | p6 |
15+ | test.cpp:234 :14:234 :15 | p5 | Local variable $@ is read here and may not be initialized on all paths. | test.cpp:233 :8:233 :9 | p5 | p5 |
16+ | test.cpp:238 :8:238 :9 | p6 | Local variable $@ is read here and may not be initialized on all paths. | test.cpp:236 :8:236 :9 | p6 | p6 |
Original file line number Diff line number Diff line change @@ -226,15 +226,16 @@ void extra_extra_test() {
226226
227227 int *p4;
228228 p4 = new int ;
229- use (p4); // COMPLIANT[FALSE_POSITIVE] -- the pointer is valid but new int isnt seen
229+ use (p4); // COMPLIANT[FALSE_POSITIVE] -- the pointer is valid but new int isnt
230+ // seen
230231 use (*p4); // COMPLIANT -- the value is not read and the pointer is valid
231232
232233 int *p5;
233234 initialize (p5); // NON_COMPLIANT
234235
235236 int *p6 = new int ;
236237 initialize (p6); // COMPLIANT
237- use (*p6); // COMPLIANT[FALSE_POSITIVE]
238+ use (*p6); // COMPLIANT[FALSE_POSITIVE]
238239
239240 int p7;
240241 initialize (&p7); // COMPLIANT
You can’t perform that action at this time.
0 commit comments