C#: Add hasUnreachedInstruction to raw IR

Robert Marsh · Robert Marsh · commit e44073718f49 · 2023-05-01T22:25:18.000-04:00
diff --git a/csharp/ql/src/experimental/ir/implementation/raw/internal/IRConstruction.qll b/csharp/ql/src/experimental/ir/implementation/raw/internal/IRConstruction.qll
@@ -414,6 +414,8 @@ private module Cached {
   }
 }
 
+predicate hasUnreachedInstruction(IRFunction func) { none() }
+
 import CachedForDebugging
 
 cached

Original file line number	Diff line number	Diff line change
`@@ -414,6 +414,8 @@ private module Cached {`
`414`	`414`	`}`
`415`	`415`	`}`
`416`	`416`
	`417`	`+predicate hasUnreachedInstruction(IRFunction func) { none() }`
	`418`	`+`
`417`	`419`	`import CachedForDebugging`
`418`	`420`
`419`	`421`	`cached`