зеркало из https://github.com/github/codeql.git
C++: Effect of #3382.
This commit is contained in:
Родитель
6499197087
Коммит
bff97d9fe5
|
@ -1,3 +1 @@
|
|||
| test.cpp:21:3:21:8 | call to remove | The $@ being operated upon was previously $@, but the underlying file may have been changed since then. | test.cpp:21:10:21:14 | file1 | filename | test.cpp:19:7:19:12 | call to rename | checked |
|
||||
| test.cpp:35:3:35:8 | call to remove | The $@ being operated upon was previously $@, but the underlying file may have been changed since then. | test.cpp:35:10:35:14 | file1 | filename | test.cpp:32:7:32:12 | call to rename | checked |
|
||||
| test.cpp:49:3:49:8 | call to remove | The $@ being operated upon was previously $@, but the underlying file may have been changed since then. | test.cpp:49:10:49:14 | file1 | filename | test.cpp:47:7:47:12 | call to rename | checked |
|
||||
|
|
|
@ -32,7 +32,7 @@ void test2()
|
|||
if (!rename(file1, file2))
|
||||
{
|
||||
file1.set("d.txt");
|
||||
remove(file1); // GOOD [FALSE POSITIVE]
|
||||
remove(file1); // GOOD
|
||||
}
|
||||
}
|
||||
|
||||
|
@ -46,6 +46,6 @@ void test3()
|
|||
create(file1);
|
||||
if (!rename(file1, file2))
|
||||
{
|
||||
remove(file1); // BAD
|
||||
remove(file1); // BAD [NOT DETECTED]
|
||||
}
|
||||
}
|
||||
|
|
Загрузка…
Ссылка в новой задаче