File tree Expand file tree Collapse file tree 2 files changed +2
-4
lines changed
cpp/ql/test/query-tests/Security/CWE/CWE-416/semmle/tests/IteratorToExpiredContainer Expand file tree Collapse file tree 2 files changed +2
-4
lines changed Original file line number Diff line number Diff line change 1
1
| test.cpp:680:30:680:30 | call to operator[] | This object is destroyed at the end of the full-expression. |
2
2
| test.cpp:683:31:683:32 | call to at | This object is destroyed at the end of the full-expression. |
3
- | test.cpp:689:46:689:58 | pointer to ~vector output argument | This object is destroyed at the end of the full-expression. |
4
3
| test.cpp:702:27:702:27 | call to operator[] | This object is destroyed at the end of the full-expression. |
5
4
| test.cpp:727:23:727:23 | call to operator[] | This object is destroyed at the end of the full-expression. |
6
5
| test.cpp:735:23:735:23 | call to operator[] | This object is destroyed at the end of the full-expression. |
7
- | test.cpp:803:3:803:3 | pointer to ~vector output argument | This object is destroyed at the end of the full-expression. |
Original file line number Diff line number Diff line change @@ -686,7 +686,7 @@ void test() {
686
686
for (auto x : returnRef ()[0 ]) {} // GOOD
687
687
for (auto x : returnRef ().at (0 )) {} // GOOD
688
688
689
- for (auto it = returnValue ().begin (); it != returnValue ().end (); ++it) {} // BAD
689
+ for (auto it = returnValue ().begin (); it != returnValue ().end (); ++it) {} // BAD [NOT DETECTED]
690
690
691
691
{
692
692
auto v = returnValue ();
@@ -800,5 +800,5 @@ void test5(int i)
800
800
const auto & vvs = returnValue ();
801
801
for (const auto & vs : vvs) { }
802
802
++i;
803
- } // GOOD [FALSE POSITIVE]
803
+ } // GOOD
804
804
}
You can’t perform that action at this time.
0 commit comments