Merge pull request github#12340 from MathiasVP/remove-uncertain-write-def-input-predicate

MathiasVP · web-flow · commit a96145a4ac19 · 2023-02-28T17:07:17.000Z
C++: Remove dead code
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
@@ -809,11 +809,6 @@ module SsaCached {
   predicate lastRefRedef(Definition def, IRBlock bb, int i, Definition next) {
     SsaImpl::lastRefRedef(def, bb, i, next)
   }
-
-  cached
-  predicate uncertainWriteDefinitionInput(SsaImpl::UncertainWriteDefinition def, Definition inp) {
-    SsaImpl::uncertainWriteDefinitionInput(def, inp)
-  }
 }
 
 cached

Original file line number	Diff line number	Diff line change
`@@ -809,11 +809,6 @@ module SsaCached {`
`809`	`809`	`predicate lastRefRedef(Definition def, IRBlock bb, int i, Definition next) {`
`810`	`810`	`SsaImpl::lastRefRedef(def, bb, i, next)`
`811`	`811`	`}`
`812`		`-`
`813`		`- cached`
`814`		`- predicate uncertainWriteDefinitionInput(SsaImpl::UncertainWriteDefinition def, Definition inp) {`
`815`		`- SsaImpl::uncertainWriteDefinitionInput(def, inp)`
`816`		`- }`
`817`	`812`	`}`
`818`	`813`
`819`	`814`	`cached`