test predicate

Dilan Bhalla · Dilan Bhalla · commit 4fb30f35b3c8 · 2023-04-24T14:59:43.000-07:00
diff --git a/csharp/ql/src/Dead Code/DeadCode.qll b/csharp/ql/src/Dead Code/DeadCode.qll
@@ -99,3 +99,8 @@ predicate isDeadField(Field f) {
     not fc instanceof FieldRead and not fc.isRefArgument()
   )
 }
+
+predicate testPredicate(Method m) {
+  not isRecursivelyLiveMethod(m) and
+  m.isSourceDeclaration()
+}

Original file line number	Diff line number	Diff line change
`@@ -99,3 +99,8 @@ predicate isDeadField(Field f) {`
`99`	`99`	`not fc instanceof FieldRead and not fc.isRefArgument()`
`100`	`100`	`)`
`101`	`101`	`}`
	`102`	`+`
	`103`	`+predicate testPredicate(Method m) {`
	`104`	`+ not isRecursivelyLiveMethod(m) and`
	`105`	`+ m.isSourceDeclaration()`
	`106`	`+}`