Skip to content

Commit c5c6c58

Browse files
committed
Convert EXP36-C to the new datafow library
Note that we now properly report the offending cast instead of the expression that is being cast.
1 parent 7a1577e commit c5c6c58

File tree

2 files changed

+247
-234
lines changed

2 files changed

+247
-234
lines changed

c/cert/src/rules/EXP36-C/DoNotCastPointerToMoreStrictlyAlignedPointerType.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@
1919
import cpp
2020
import codingstandards.c.cert
2121
import codingstandards.cpp.Alignment
22-
import semmle.code.cpp.dataflow.DataFlow
22+
import semmle.code.cpp.dataflow.new.DataFlow
2323
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
2424
import ExprWithAlignmentToCStyleCastFlow::PathGraph
2525

0 commit comments

Comments
 (0)