File tree Expand file tree Collapse file tree 1 file changed +8
-8
lines changed
csharp/ql/src/semmle/code/csharp/ir/implementation/raw/internal Expand file tree Collapse file tree 1 file changed +8
-8
lines changed Original file line number Diff line number Diff line change @@ -103,14 +103,14 @@ private module Cached {
103
103
}
104
104
105
105
/**
106
- * Holds if `instr` is part of a cycle in the operand graph that doesn't go
107
- * through a phi instruction and therefore should be impossible.
108
- *
109
- * If such cycles are present, either due to a programming error in the IR
110
- * generation or due to a malformed database, it can cause infinite loops in
111
- * analyses that assume a cycle-free graph of non-phi operands. Therefore it's
112
- * better to remove these operands than to leave cycles in the operand graph.
113
- */
106
+ * Holds if `instr` is part of a cycle in the operand graph that doesn't go
107
+ * through a phi instruction and therefore should be impossible.
108
+ *
109
+ * If such cycles are present, either due to a programming error in the IR
110
+ * generation or due to a malformed database, it can cause infinite loops in
111
+ * analyses that assume a cycle-free graph of non-phi operands. Therefore it's
112
+ * better to remove these operands than to leave cycles in the operand graph.
113
+ */
114
114
pragma [ noopt]
115
115
cached
116
116
predicate isInCycle ( Instruction instr ) {
You can’t perform that action at this time.
0 commit comments