Skip to content

Commit 22b8860

Browse files
committed
Convert CON30-C to use the new dataflow library
1 parent 012ac3d commit 22b8860

File tree

2 files changed

+2
-8
lines changed

2 files changed

+2
-8
lines changed

c/cert/src/rules/CON30-C/CleanUpThreadSpecificStorage.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -19,8 +19,8 @@
1919

2020
import cpp
2121
import codingstandards.c.cert
22-
import codingstandards.cpp.Concurrency
23-
import semmle.code.cpp.dataflow.DataFlow
22+
import codingstandards.cpp.ConcurrencyNew
23+
import semmle.code.cpp.dataflow.new.DataFlow
2424

2525
module TssCreateToTssDeleteConfig implements DataFlow::ConfigSig {
2626
predicate isSource(DataFlow::Node node) {

c/cert/test/rules/CON30-C/CleanUpThreadSpecificStorage.expected

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,3 @@
1-
WARNING: module 'DataFlow' has been deprecated and may be removed in future (CleanUpThreadSpecificStorage.ql:25,46-54)
2-
WARNING: module 'DataFlow' has been deprecated and may be removed in future (CleanUpThreadSpecificStorage.ql:26,22-30)
3-
WARNING: module 'DataFlow' has been deprecated and may be removed in future (CleanUpThreadSpecificStorage.ql:35,20-28)
4-
WARNING: module 'DataFlow' has been deprecated and may be removed in future (CleanUpThreadSpecificStorage.ql:45,35-43)
5-
WARNING: module 'DataFlow' has been deprecated and may be removed in future (CleanUpThreadSpecificStorage.ql:53,36-44)
6-
WARNING: module 'DataFlow' has been deprecated and may be removed in future (CleanUpThreadSpecificStorage.ql:55,36-44)
71
| test.c:27:3:27:12 | call to tss_create | Resources used by thread specific storage may not be cleaned up. |
82
| test.c:49:3:49:12 | call to tss_create | Resources used by thread specific storage may not be cleaned up. |
93
| test.c:71:3:71:12 | call to tss_create | Resources used by thread specific storage may not be cleaned up. |

0 commit comments

Comments
 (0)