[ConstraintElimination] Remove fixme addressed in 8e3e96298f.

This commit is contained in:
Florian Hahn 2022-10-06 18:24:15 +01:00
parent 8da2fa856f
commit c9fa457933
No known key found for this signature in database
GPG Key ID: EEF712BB5E80EBBA
1 changed files with 0 additions and 1 deletions

View File

@ -40,7 +40,6 @@ else:
ret i1 0
}
; FIXME: currently adding extra facts is dependent on the visitation order of facts.
define i1 @len_known_positive_via_idx_2(i8 %len, i8 %idx) {
; CHECK-LABEL: @len_known_positive_via_idx_2(
; CHECK-NEXT: entry: