Skip to content

Commit 0c17786

Browse files
committed
C++: Delete unused predicate
1 parent 9a8cb1a commit 0c17786

File tree

1 file changed

+0
-5
lines changed

1 file changed

+0
-5
lines changed

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1064,11 +1064,6 @@ module SsaCached {
10641064
SsaImpl::lastRefRedefExt(def, sv, bb, i, input, next)
10651065
}
10661066

1067-
cached
1068-
DefinitionExt phiHasInputFromBlockExt(PhiNode phi, IRBlock bb) {
1069-
SsaImpl::phiHasInputFromBlockExt(phi, result, bb)
1070-
}
1071-
10721067
cached
10731068
predicate ssaDefReachesReadExt(SourceVariable v, DefinitionExt def, IRBlock bb, int i) {
10741069
SsaImpl::ssaDefReachesReadExt(v, def, bb, i)

0 commit comments

Comments
 (0)