Skip to content

Commit 96b3137

Browse files
committed
Convert RULE-22-3 to use the new dataflow library
1 parent 5ee401c commit 96b3137

File tree

2 files changed

+1
-2
lines changed

2 files changed

+1
-2
lines changed

c/misra/src/rules/RULE-22-3/FileOpenForReadAndWriteOnDifferentStreams.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@
1515
import cpp
1616
import codingstandards.c.misra
1717
import codingstandards.cpp.standardlibrary.FileAccess
18-
import semmle.code.cpp.dataflow.DataFlow
18+
import semmle.code.cpp.dataflow.new.DataFlow
1919
import semmle.code.cpp.valuenumbering.GlobalValueNumbering
2020
import semmle.code.cpp.controlflow.SubBasicBlocks
2121

c/misra/test/rules/RULE-22-3/FileOpenForReadAndWriteOnDifferentStreams.expected

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
WARNING: module 'DataFlow' has been deprecated and may be removed in future (FileOpenForReadAndWriteOnDifferentStreams.ql:39,9-17)
21
| test.c:6:14:6:18 | call to fopen | The same file was already opened $@. Files should not be read and written at the same time using different streams. | test.c:5:14:5:18 | call to fopen | here |
32
| test.c:17:14:17:18 | call to fopen | The same file was already opened $@. Files should not be read and written at the same time using different streams. | test.c:16:14:16:18 | call to fopen | here |
43
| test.c:33:14:33:18 | call to fopen | The same file was already opened $@. Files should not be read and written at the same time using different streams. | test.c:32:14:32:18 | call to fopen | here |

0 commit comments

Comments
 (0)