(1) JBCNonTerm (EQUIVALENT transformation)
Reached a loop using the following run:
0:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||0: load ADDR args||args: a728|| ->
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
1:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||1: push 2||args: a728||a728>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
2:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||2: Read ADDR from array||args: a728||a728, iconst_2>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
3:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||3: java.lang.String.length()I||args: a728||o16>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
4:
<java.lang.String.length||0: load ADDR this||this: o16|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||3: java.lang.String.length||args: a728||o16>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
5:
<java.lang.String.length||1: Read from count|| - ||o16>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||3: java.lang.String.length||args: a728||o16>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
6:
<java.lang.String.length||4: return INT|| - ||iconst_1>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||3: java.lang.String.length||args: a728||o16>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
7:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||6: store INT to x||args: a728||iconst_1>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
8:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||7: load ADDR args||args: a728, x: iconst_1|| ->
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
9:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||8: push 3||args: a728, x: iconst_1||a728>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
10:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||9: Read ADDR from array||args: a728, x: iconst_1||a728, iconst_3>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
11:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||10: java.lang.String.length()I||args: a728, x: iconst_1||o43>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
12:
<java.lang.String.length||0: load ADDR this||this: o43|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||10: java.lang.String.length||args: a728, x: iconst_1||o43>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
13:
<java.lang.String.length||1: Read from count|| - ||o43>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||10: java.lang.String.length||args: a728, x: iconst_1||o43>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
14:
<java.lang.String.length||4: return INT|| - ||iconst_1>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||10: java.lang.String.length||args: a728, x: iconst_1||o43>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
15:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||13: store INT to y||args: a728, x: iconst_1||iconst_1>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
16:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||14: load ADDR args||args: a728, x: iconst_1, y: iconst_1|| ->
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
17:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||15: push 0||args: a728, x: iconst_1, y: iconst_1||a728>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
18:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||16: Read ADDR from array||args: a728, x: iconst_1, y: iconst_1||a728, iconst_0>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
19:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||17: java.lang.String.length()I||args: a728, x: iconst_1, y: iconst_1||o104>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
20:
<java.lang.String.length||0: load ADDR this||this: o104|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||17: java.lang.String.length||args: a728, x: iconst_1, y: iconst_1||o104>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
21:
<java.lang.String.length||1: Read from count|| - ||o104>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||17: java.lang.String.length||args: a728, x: iconst_1, y: iconst_1||o104>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
22:
<java.lang.String.length||4: return INT|| - ||iconst_0>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||17: java.lang.String.length||args: a728, x: iconst_1, y: iconst_1||o104>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
23:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||20: push 2||args: a728, x: iconst_1, y: iconst_1||iconst_0>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
24:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||21: REM||args: a728, x: iconst_1, y: iconst_1||iconst_0, iconst_2>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
25:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||22: NE 0||args: a728, x: iconst_1, y: iconst_1||iconst_0>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
26:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||25: load INT x||args: a728, x: iconst_1, y: iconst_1|| ->
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
27:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||26: NEG||args: a728, y: iconst_1||iconst_1>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
28:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||27: store INT to x||args: a728, y: iconst_1||iconst_-1>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
29:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||28: load ADDR args||args: a728, x: iconst_-1, y: iconst_1|| ->
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
30:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||29: push 1||x: iconst_-1, y: iconst_1||a728>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
31:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||30: Read ADDR from array||x: iconst_-1, y: iconst_1||a728, iconst_1>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
32:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||31: java.lang.String.length()I||x: iconst_-1, y: iconst_1||o303>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
33:
<java.lang.String.length||0: load ADDR this||this: o303|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||31: java.lang.String.length||x: iconst_-1, y: iconst_1||o303>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
34:
<java.lang.String.length||1: Read from count|| - ||o303>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||31: java.lang.String.length||x: iconst_-1, y: iconst_1||o303>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
35:
<java.lang.String.length||4: return INT|| - ||iconst_0>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||31: java.lang.String.length||x: iconst_-1, y: iconst_1||o303>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
36:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||34: push 2||x: iconst_-1, y: iconst_1||iconst_0>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
37:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||35: REM||x: iconst_-1, y: iconst_1||iconst_0, iconst_2>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
38:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||36: NE 0||x: iconst_-1, y: iconst_1||iconst_0>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
39:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||39: load INT y||x: iconst_-1, y: iconst_1|| ->
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
40:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||40: NEG||x: iconst_-1||iconst_1>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
41:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||41: store INT to y||x: iconst_-1||iconst_-1>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
42:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||42: load INT x||x: iconst_-1, y: iconst_-1|| ->
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
43:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||43: load INT y||y: iconst_-1||iconst_-1>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
44:
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||44: simple.doubleNeg.DoubleNeg.loop(II)V|| - ||iconst_-1, iconst_-1>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
45:
<simple.doubleNeg.DoubleNeg.loop||0: load INT i||i: iconst_-1, j: iconst_-1|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||44: simple.doubleNeg.DoubleNeg.loop|| - ||iconst_-1, iconst_-1>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a730
String.CASE_INSENSITIVE_ORDER: o804
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a730([java.io.ObjectStreamField|]): length iconst_0
o804!: String$CaseInsensitiveComparator()
o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
i163: #I{-inf,+inf}
a728([java.lang.String...]): {o104, o303, o16, o43}
o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
i56: #I{-inf,+inf}
o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
i38: #I{-inf,+inf}
o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:
Start state of loop:
<simple.doubleNeg.DoubleNeg.loop||0: load INT i||i: i379, j: i380|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a496(lv_0_0)]
<simple.doubleNeg.Main.main||44: simple.doubleNeg.DoubleNeg.loop|| - ||i78, i242>
String.serialVersionUID: iconstLong_-6849794470754667710
String.serialPersistentFields: a495
String.CASE_INSENSITIVE_ORDER: o632
String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
Exception.serialVersionUID: iconstLong_-3387516993124229948
Throwable.serialVersionUID: iconstLong_-3042686055658047285
a495([java.io.ObjectStreamField|]): length iconst_0
o632!: String$CaseInsensitiveComparator()
i379: (-inf,0](1){-inf,+inf}
i380: (-inf,0](1){-inf,+inf}
i25: [4,+inf){0,+inf}
a496([java.lang.String...]): length i25
i242: (-inf,0]{-inf,+inf}
i78: (-inf,0]{-inf,+inf}
Relations:
In the loop head node, references [i379, i380] were interesting.
By SMT, we could prove
((initial_i379 <= 0 and initial_i380 <= 0 and initial_i78 <= 0 and initial_i242 <= 0 and 4 <= initial_i25) and (((path1_i413 = (path1_i379 * path1_i380) and path1_i413 = path1_i419 and path1_i431 = (path1_i379 + -1) and path1_i434 = (path1_i380 + -1) and path1_i431 = res_i379 and path1_i434 = res_i380 and path1_i78 = res_i78 and path1_i242 = res_i242 and path1_i25 = res_i25 and path1_i379 = initial_i379 and path1_i380 = initial_i380 and path1_i78 = initial_i78 and path1_i242 = initial_i242 and path1_i25 = initial_i25) and path1_i419 > 0) and ((res_i413 = (res_i379 * res_i380) and res_i413 = res_i419 and res_i431 = (res_i379 + -1) and res_i434 = (res_i380 + -1)) and !res_i419 > 0)))
to be UNSAT. Consequently, the loop will not terminate.