Skip to content

Commit deeff07

Browse files
author
AndreiDiaconu1
committed
Fixed unused predicate error
1 parent 489dbe1 commit deeff07

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

csharp/ql/src/semmle/code/csharp/ir/implementation/raw/internal/InstructionTag.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@ import csharp
22
import semmle.code.csharp.ir.Util
33

44

5-
private predicate fieldIsInitialized(Field field) {
6-
exists(field.getInitializer())
7-
}
5+
//private predicate fieldIsInitialized(Field field) {
6+
// exists(field.getInitializer())
7+
//}
88

99
private predicate elementIsInitialized(int elementIndex) {
1010
exists(ArrayInitWithMod initList |

0 commit comments

Comments
 (0)