Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Regression between versions 4.5.2 and 4.5.3 #2465

Closed
FreddySquall opened this issue Jul 5, 2023 · 6 comments
Closed

Regression between versions 4.5.2 and 4.5.3 #2465

FreddySquall opened this issue Jul 5, 2023 · 6 comments

Comments

@FreddySquall
Copy link

Hi,
we are facing a bug since version 4.5.3 ; everything works fine with v4.5.2. While running from command line

spotbugs-4.5.3/bin/spotbugs -textui -low -maxRank 9 -effort:max -nested:false -property "dataflow.maxiters=150" myJar.jar

We get the below errors :

`Too many iterations IsNullValueAnalysis on fr.espacebanque.emon.lang.ConstantsEnv.waitForEB(boolean)
edu.umd.cs.findbugs.ba.npe.IsNullValueDataflow

edu.umd.cs.findbugs.ba.npe.IsNullValueDataflow iteration: 151, timestamp: 6157
fr.espacebanque.emon.lang.ConstantsEnv.waitForEB(Z)V

edu.umd.cs.findbugs.ba.npe.IsNullValueDataflow analysis for fr.espacebanque.emon.lang.ConstantsEnv.waitForEB(boolean)(Z)V {

Before: [N,-,-], [known={}]
Location: -1: nop0 in basic block 0
After: [N,-,-], [known={}]

Before: [N,-,-], [known={}]
Location: 0: aload_042 in basic block 2
After: [N,-,-|N], [known={}]

Before: [N,-,-|N], [known={}]
Location: 1: iconst_03 in basic block 2
After: [N,-,-|N,-], [known={}]

Before: [N,-,-|N,-], [known={}]
Location: 2: putfield181 30 in basic block 2
After: [N,-,-], [known={3(16)->-}]

Before: [N,-,-], [known={3(16)->-}]
Location: 5: aload_042 in basic block 2
After: [N,-,-|N], [known={3(16)->-}]

Before: [N,-,-|N], [known={3(16)->-}]
Location: 6: getfield180 102 in basic block 2
After: [N,-,-|-], [known={3(16)->-}]

Before: [N,-,-|-], [known={3(16)->-}]
Location: 9: ifnonnull199 -> 31 in basic block 2
After: [N,-,-], [decision=4,ifcmp=W,fallthru=w], [known={3(16)->-}]

Before: [N,-,-], [decision=4,ifcmp=W,fallthru=w], [known={4->w, 3(16)->-}]
Location: 12: aload_042 in basic block 4
After: [N,-,-|N], [decision=4,ifcmp=W,fallthru=w], [known={4->w, 3(16)->-}]

Before: [N,-,-|N], [decision=4,ifcmp=W,fallthru=w], [known={4->w, 3(16)->-}]
Location: 13: new187 278 in basic block 4
After: [N,-,-|N,N], [decision=4,ifcmp=W,fallthru=w], [known={4->w, 5->N, 3(16)->-}]

Before: [N,-,-|N,N], [decision=4,ifcmp=W,fallthru=w], [known={4->w, 5->N, 3(16)->-}]
Location: 16: dup89 in basic block 4
After: [N,-,-|N,N,N], [decision=4,ifcmp=W,fallthru=w], [known={4->w, 5->N, 3(16)->-}]

Before: [N,-,-|N,N,N], [decision=4,ifcmp=W,fallthru=w], [known={4->w, 5->N, 3(16)->-}]
Location: 17: aload_042 in basic block 4
After: [N,-,-|N,N,N,N], [known={4->w, 3(16)->-}]

Before: [N,-,-|N,N,N,N], [known={4->w, 3(16)->-}]
Location: 18: invokespecial183 279 in basic block 8
After: [N,-,-|N,N], [known={4->w, 3(16)->-}]

Before: [N,-,-|N,N], [known={4->w, 3(16)->-}]
Location: 21: putfield181 102 in basic block 8
After: [N,-,-], [known={4->w, 5->N, 3(16)->-}]

Before: [N,-,-], [known={4->w, 5->N, 3(16)->-}]
Location: 24: aload_042 in basic block 8
After: [N,-,-|N], [known={4->w, 5->N, 3(16)->-}]

Before: [N,-,-|N], [known={4->w, 5->N, 3(16)->-}]
Location: 25: getfield180 102 in basic block 8
After: [N,-,-|N], [known={5->N}]

Before: [N,-,-|N], [known={5->N}]
Location: 28: invokevirtual182 280 in basic block 15
After: [N,-,-], [known={5->N}]

Before: [N,-,-], [decision=4,ifcmp=W,fallthru=w], [known={}]
Location: 31: aload_042 in basic block 3
After: [N,-,-|N], [decision=4,ifcmp=W,fallthru=w], [known={}]

Before: [N,-,-|N], [decision=4,ifcmp=W,fallthru=w], [known={}]
Location: 32: aload_042 in basic block 3
After: [N,-,-|N,N], [decision=4,ifcmp=W,fallthru=w], [known={}]

Before: [N,-,-|N,N], [decision=4,ifcmp=W,fallthru=w], [known={}]
Location: 33: getfield180 102 in basic block 3
After: [N,-,-|N,-], [known={}]

Before: [N,-,-|N,K], [known={7(8)->K}]
Location: 36: invokevirtual182 281 in basic block 7
After: [N,-,-|N,-], [known={7(8)->K}]

Before: [N,-,-|N,-], [known={7(8)->K}]
Location: 39: putfield181 30 in basic block 7
After: [N,-,-], [known={8(1)->-, 7(8)->K}]

Before: [N,-,-], [known={8(1)->-, 7(8)->K}]
Location: 42: aload_042 in basic block 7
After: [N,-,-|N], [known={8(1)->-, 7(8)->K}]

Before: [N,-,-|N], [known={8(1)->-, 7(8)->K}]
Location: 43: getfield180 30 in basic block 7
After: [N,-,-|-], [known={8(1)->-, 7(8)->K}]

Before: [N,-,-|-], [known={8(1)->-, 7(8)->K}]
Location: 46: ifne154 -> 96 in basic block 7
After: [N,-,-], [known={8(1)->-, 7(8)->K}]

Before: [N,-,-], [known={8(1)->-, 7(8)->K}]
Location: 49: iload_127 in basic block 10
After: [N,-,-|-], [known={8(1)->-, 7(8)->K}]

Before: [N,-,-|-], [known={8(1)->-, 7(8)->K}]
Location: 50: ifeq153 -> 96 in basic block 10
After: [N,-,-], [known={8(1)->-, 7(8)->K}]

Before: [N,-,-], [known={8(1)->-, 7(8)->K}]
Location: 53: ldc_w19 282 in basic block 14
After: [N,-,-|N], [known={8(1)->-, 9(16)->N, 7(8)->K}]

Before: [N,-,-|N], [known={8(1)->-, 9(16)->N, 7(8)->K}]
Location: 56: iconst_03 in basic block 14
After: [N,-,-|N,-], [known={8(1)->-, 7(8)->K}]

Before: [N,-,-|N,-], [known={8(1)->-, 7(8)->K}]
Location: 57: anewarray189 2 in basic block 20
After: [N,-,-|N,N], [known={8(1)->-, 7(8)->K}]

Before: [N,-,-|N,N], [known={8(1)->-, 7(8)->K}]
Location: 60: invokestatic184 3 in basic block 24
After: [N,-,-], [known={8(1)->-, 7(8)->K}]

Before: [N,-,-], [known={8(1)->-, 7(8)->K}]
Location: 63: ldc2_w20 283 in basic block 24
After: [N,-,-|N,N], [known={7(8)->K}]

Before: [N,-,-|N,N], [known={7(8)->K}]
Location: 66: invokestatic184 285 in basic block 29
After: [N,-,-], [known={7(8)->K}]

Before: [N,-,-], [known={7(8)->K}]
Location: 69: goto167 -> 96 in basic block 29
After: [N,-,-], [known={7(8)->K}]

Before: [N,-,-|N], [known={7(8)->K}]
Location: 72: astore_277 in basic block 28
After: [N,-,N], [known={7(8)->K}]

Before: [N,-,N], [known={7(8)->K}]
Location: 73: ldc_w19 287 in basic block 28
After: [N,-,N|N], [known={7(8)->K, 15(16)->N}]

Before: [N,-,N|N], [known={7(8)->K, 15(16)->N}]
Location: 76: iconst_14 in basic block 28
After: [N,-,N|N,-], [known={7(8)->K}]

Before: [N,-,N|N,-], [known={7(8)->K}]
Location: 77: anewarray189 2 in basic block 33
After: [N,-,N|N,N], [known={17->N, 7(8)->K}]

Before: [N,-,N|N,N], [known={17->N, 7(8)->K}]
Location: 80: dup89 in basic block 33
After: [N,-,N|N,N,N], [known={17->N, 7(8)->K}]

Before: [N,-,N|N,N,N], [known={17->N, 7(8)->K}]
Location: 81: iconst_03 in basic block 33
After: [N,-,N|N,N,N,-], [known={17->N, 7(8)->K}]

Before: [N,-,N|N,N,N,-], [known={17->N, 7(8)->K}]
Location: 82: aload_244 in basic block 33
After: [N,-,N|N,N,N,-,N], [known={7(8)->K}]

Before: [N,-,N|N,N,N,-,N], [known={7(8)->K}]
Location: 83: invokestatic184 18 in basic block 37
After: [N,-,N|N,N,N,-,N], [known={7(8)->K}]

Before: [N,-,N|N,N,N,-,N], [known={7(8)->K}]
Location: 86: aastore83 in basic block 41
After: [N,-,N|N,N], [known={7(8)->K}]

Before: [N,-,N|N,N], [known={7(8)->K}]
Location: 87: invokestatic184 3 in basic block 44
After: [N,-,N], [known={7(8)->K}]

Before: [N,-,N], [known={7(8)->K}]
Location: 90: invokestatic184 288 in basic block 46
After: [N,-,N|-], [known={7(8)->K}]

Before: [N,-,N|K], [known={20(1)->K, 7(8)->K}]
Location: 93: invokevirtual182 289 in basic block 48
After: [N,-,N], [known={7(8)->K}]

Before: [N,-,-], [known={7(8)->K}]
Location: 96: aload_042 in basic block 9
After: [N,-,-|N], [known={7(8)->K}]

Before: [N,-,-|N], [known={7(8)->K}]
Location: 97: getfield180 30 in basic block 9
After: [N,-,-|-], [known={7(8)->K}]

Before: [N,-,-|-], [known={7(8)->K}]
Location: 100: ifne154 -> 107 in basic block 9
After: [N,-,-], [known={7(8)->K}]

Before: [N,-,-], [known={7(8)->K}]
Location: 103: iload_127 in basic block 13
After: [N,-,-|-], [known={7(8)->K}]

Before: [N,-,-|-], [known={7(8)->K}]
Location: 104: ifne154 -> 31 in basic block 13
After: [N,-,-], [known={7(8)->K}]

Before: [N,-,-], [known={7(8)->K}]
Location: 107: aload_042 in basic block 12
After: [N,-,-|N], [known={7(8)->K}]

Before: [N,-,-|N], [known={7(8)->K}]
Location: 108: getfield180 30 in basic block 12
After: [N,-,-|-], [known={7(8)->K}]

Before: [N,-,-|-], [known={7(8)->K}]
Location: 111: ifne154 -> 144 in basic block 12
After: [N,-,-], [known={7(8)->K}]

Before: [N,-,-], [known={7(8)->K}]
Location: 114: new187 6 in basic block 17
After: [N,-,-|N], [known={7(8)->K, 23->N}]

Before: [N,-,-|N], [known={7(8)->K, 23->N}]
Location: 117: dup89 in basic block 17
After: [N,-,-|N,N], [known={7(8)->K}]

Before: [N,-,-|N,N], [known={7(8)->K}]
Location: 118: invokespecial183 7 in basic block 21
After: [N,-,-|N], [known={7(8)->K}]

Before: [N,-,-|N], [known={7(8)->K}]
Location: 121: ldc_w19 290 in basic block 21
After: [N,-,-|N,N], [known={7(8)->K}]

Before: [N,-,-|N,N], [known={7(8)->K}]
Location: 124: invokevirtual182 9 in basic block 25
After: [N,-,-|N], [known={25(1)->N, 7(8)->K}]

Before: [N,-,-|N], [known={25(1)->N, 7(8)->K}]
Location: 127: aload_042 in basic block 25
After: [N,-,-|N,N], [known={25(1)->N, 7(8)->K}]

Before: [N,-,-|N,N], [known={25(1)->N, 7(8)->K}]
Location: 128: getfield180 28 in basic block 25
After: [N,-,-|N,-], [known={7(8)->K}]

Before: [N,-,-|N,-], [known={7(8)->K}]
Location: 131: invokevirtual182 9 in basic block 30
After: [N,-,-|N], [known={7(8)->K}]

Before: [N,-,-|N], [known={7(8)->K}]
Location: 134: invokevirtual182 11 in basic block 34
After: [N,-,-|N], [known={28(1)->N, 7(8)->K}]

Before: [N,-,-|N], [known={28(1)->N, 7(8)->K}]
Location: 137: iconst_03 in basic block 34
After: [N,-,-|N,-], [known={7(8)->K}]

Before: [N,-,-|N,-], [known={7(8)->K}]
Location: 138: anewarray189 2 in basic block 38
After: [N,-,-|N,N], [known={7(8)->K}]

Before: [N,-,-|N,N], [known={7(8)->K}]
Location: 141: invokestatic184 3 in basic block 42
After: [N,-,-], [known={7(8)->K}]

Before: [N,-,-], [known={7(8)->K}]
Location: 144: return177 in basic block 16
After: [N,-,-], [known={7(8)->K}]
}
Dataflow (block 0:-1 nop0): Init entry fact ==> [N,-,-], [known={}]
Dataflow (block 0:-1 nop0): start fact is [N,-,-], [known={}]
Dataflow (block 0:-1 nop0): orig result is [N,-,-], [known={}]
Dataflow (block 0:-1 nop0): result is [N,-,-], [known={}] @ timestamp 0
Dataflow (block 2:0 aload_042): direction 1 for 0:-1 nop0
Dataflow (block 4:12 aload_042): direction 1 for 2:0 aload_042
Dataflow (block 6): direction 1 for 4:12 aload_042
Dataflow (block 8:18 invokespecial183 279): direction 1 for 6
Dataflow (block 11): direction 1 for 8:18 invokespecial183 279
Dataflow (block 15:28 invokevirtual182 280): direction 1 for 11
Dataflow (block 3:31 aload_042): direction 11 for 2:0 aload_042
Dataflow (block 3:31 aload_042): direction -46 for 13:103 iload_127
Dataflow (block 3:31 aload_042):
Need to recompute. My timestamp = 6116, pred timestamp = 6142,
pred fact = [N,-,-], [known={7(8)->K}]
Dataflow (block 3:31 aload_042, predecessor 2:0 aload_042 [IFCMP]):
First pred is [N,-,-], [decision=4,ifcmp=W,fallthru=w], [known={3(16)->-}]
last updated at 1
[31]==> [N,-,-], [decision=4,ifcmp=W,fallthru=w], [known={4->W, 6(24)->-, 7(8)->W}] @ 6157

Dataflow (block 3:31 aload_042, predecessor 13:103 iload_127 [IFCMP]):
Meet [N,-,-], [decision=4,ifcmp=W,fallthru=w], [known={4->W, 6(24)->-, 7(8)->W}]
with [N,-,-], [known={7(8)->K}]
pred last updated at 6142
[31]==> [N,-,-], [decision=4,ifcmp=W,fallthru=w], [known={7(8)->N}] @ 6157

Dataflow (block 3:31 aload_042, predecessor 15:28 invokevirtual182 280 [FALL_THROUGH]):
Meet [N,-,-], [decision=4,ifcmp=W,fallthru=w], [known={7(8)->N}]
with [N,-,-], [known={5->N}]
pred last updated at 6
[31]==> [N,-,-], [decision=4,ifcmp=W,fallthru=w], [known={7(8)->N}] @ 6157

Dataflow (block 3:31 aload_042): start fact is [N,-,-], [decision=4,ifcmp=W,fallthru=w], [known={7(8)->N}]
Dataflow (block 3:31 aload_042): orig result is [N,-,-|N,-], [known={}]
Dataflow (block 3:31 aload_042): result changed at timestamp 6158
Dataflow (block 3:31 aload_042): result is [N,-,-|N,N], [known={}] @ timestamp 6158
Dataflow (block 5): direction 1 for 3:31 aload_042
Dataflow (block 5):
Need to recompute. My timestamp = 6117, pred timestamp = 6158,
pred fact = [N,-,-|N,N], [known={}]
Dataflow (block 5, predecessor 3:31 aload_042 [FALL_THROUGH]):
First pred is [N,-,-|N,N], [known={}]
last updated at 6158
[-1]==> [N,-,-|N,N], [known={}] @ 6158

Dataflow (block 5): start fact is [N,-,-|N,N], [known={}]
Dataflow (block 5): orig result is [N,-,-|N,-], [known={}]
Dataflow (block 5): result changed at timestamp 6159
Dataflow (block 5): result is [N,-,-|N,N], [known={}] @ timestamp 6159
Dataflow (block 7:36 invokevirtual182 281): direction 1 for 5
Dataflow (block 7:36 invokevirtual182 281):
Need to recompute. My timestamp = 6118, pred timestamp = 6159,
pred fact = [N,-,-|N,N], [known={}]
Dataflow (block 7:36 invokevirtual182 281, predecessor 5 [FALL_THROUGH]):
First pred is [N,-,-|N,N], [known={}]
last updated at 6159
[36]==> [N,-,-|N,N], [known={}] @ 6159

Dataflow (block 7:36 invokevirtual182 281): start fact is [N,-,-|N,N], [known={}]
Dataflow (block 7:36 invokevirtual182 281): orig result is [N,-,-], [known={8(1)->-, 7(8)->K}]
Dataflow (block 7:36 invokevirtual182 281): result changed at timestamp 6160
Dataflow (block 7:36 invokevirtual182 281): result is [N,-,-], [known={8(1)->-}] @ timestamp 6160
Dataflow (block 10:49 iload_127): direction 1 for 7:36 invokevirtual182 281
Dataflow (block 10:49 iload_127):
Need to recompute. My timestamp = 6119, pred timestamp = 6160,
pred fact = [N,-,-], [known={8(1)->-}]
Dataflow (block 10:49 iload_127, predecessor 7:36 invokevirtual182 281 [FALL_THROUGH]):
First pred is [N,-,-], [known={8(1)->-}]
last updated at 6160
[49]==> [N,-,-], [known={8(1)->-}] @ 6160

Dataflow (block 10:49 iload_127): start fact is [N,-,-], [known={8(1)->-}]
Dataflow (block 10:49 iload_127): orig result is [N,-,-], [known={8(1)->-, 7(8)->K}]
Dataflow (block 10:49 iload_127): result changed at timestamp 6161
Dataflow (block 10:49 iload_127): result is [N,-,-], [known={8(1)->-}] @ timestamp 6161
Dataflow (block 14:53 ldc_w19 282): direction 1 for 10:49 iload_127
Dataflow (block 14:53 ldc_w19 282):
Need to recompute. My timestamp = 6120, pred timestamp = 6161,
pred fact = [N,-,-], [known={8(1)->-}]
Dataflow (block 14:53 ldc_w19 282, predecessor 10:49 iload_127 [FALL_THROUGH]):
First pred is [N,-,-], [known={8(1)->-}]
last updated at 6161
[53]==> [N,-,-], [known={8(1)->-}] @ 6161

Dataflow (block 14:53 ldc_w19 282): start fact is [N,-,-], [known={8(1)->-}]
Dataflow (block 14:53 ldc_w19 282): orig result is [N,-,-|N,-], [known={8(1)->-, 7(8)->K}]
Dataflow (block 14:53 ldc_w19 282): result changed at timestamp 6162
Dataflow (block 14:53 ldc_w19 282): result is [N,-,-|N,-], [known={8(1)->-}] @ timestamp 6162
Dataflow (block 18): direction 1 for 14:53 ldc_w19 282
Dataflow (block 18):
Need to recompute. My timestamp = 6121, pred timestamp = 6162,
pred fact = [N,-,-|N,-], [known={8(1)->-}]
Dataflow (block 18, predecessor 14:53 ldc_w19 282 [FALL_THROUGH]):
First pred is [N,-,-|N,-], [known={8(1)->-}]
last updated at 6162
[-1]==> [N,-,-|N,-], [known={8(1)->-}] @ 6162

Dataflow (block 18): start fact is [N,-,-|N,-], [known={8(1)->-}]
Dataflow (block 18): orig result is [N,-,-|N,-], [known={8(1)->-, 7(8)->K}]
Dataflow (block 18): result changed at timestamp 6163
Dataflow (block 18): result is [N,-,-|N,-], [known={8(1)->-}] @ timestamp 6163
Dataflow (block 20:57 anewarray189 2): direction 1 for 18
Dataflow (block 20:57 anewarray189 2):
Need to recompute. My timestamp = 6122, pred timestamp = 6163,
pred fact = [N,-,-|N,-], [known={8(1)->-}]
Dataflow (block 20:57 anewarray189 2, predecessor 18 [FALL_THROUGH]):
First pred is [N,-,-|N,-], [known={8(1)->-}]
last updated at 6163
[57]==> [N,-,-|N,-], [known={8(1)->-}] @ 6163

Dataflow (block 20:57 anewarray189 2): start fact is [N,-,-|N,-], [known={8(1)->-}]
Dataflow (block 20:57 anewarray189 2): orig result is [N,-,-|N,N], [known={8(1)->-, 7(8)->K}]
Dataflow (block 20:57 anewarray189 2): result changed at timestamp 6164
Dataflow (block 20:57 anewarray189 2): result is [N,-,-|N,N], [known={8(1)->-}] @ timestamp 6164
Dataflow (block 22): direction 1 for 20:57 anewarray189 2
Dataflow (block 22):
Need to recompute. My timestamp = 6123, pred timestamp = 6164,
pred fact = [N,-,-|N,N], [known={8(1)->-}]
Dataflow (block 22, predecessor 20:57 anewarray189 2 [FALL_THROUGH]):
First pred is [N,-,-|N,N], [known={8(1)->-}]
last updated at 6164
[-1]==> [N,-,-|N,N], [known={8(1)->-}] @ 6164

Dataflow (block 22): start fact is [N,-,-|N,N], [known={8(1)->-}]
Dataflow (block 22): orig result is [N,-,-|N,N], [known={8(1)->-, 7(8)->K}]
Dataflow (block 22): result changed at timestamp 6165
Dataflow (block 22): result is [N,-,-|N,N], [known={8(1)->-}] @ timestamp 6165
Dataflow (block 24:60 invokestatic184 3): direction 1 for 22
Dataflow (block 24:60 invokestatic184 3):
Need to recompute. My timestamp = 6124, pred timestamp = 6165,
pred fact = [N,-,-|N,N], [known={8(1)->-}]
Dataflow (block 24:60 invokestatic184 3, predecessor 22 [FALL_THROUGH]):
First pred is [N,-,-|N,N], [known={8(1)->-}]
last updated at 6165
[60]==> [N,-,-|N,N], [known={8(1)->-}] @ 6165

Dataflow (block 24:60 invokestatic184 3): start fact is [N,-,-|N,N], [known={8(1)->-}]
Dataflow (block 24:60 invokestatic184 3): orig result is [N,-,-|N,N], [known={7(8)->K}]
Dataflow (block 24:60 invokestatic184 3): result changed at timestamp 6166
Dataflow (block 24:60 invokestatic184 3): result is [N,-,-|N,N], [known={}] @ timestamp 6166
Dataflow (block 26): direction 1 for 24:60 invokestatic184 3
Dataflow (block 26):
Need to recompute. My timestamp = 6125, pred timestamp = 6166,
pred fact = [N,-,-|N,N], [known={}]
Dataflow (block 26, predecessor 24:60 invokestatic184 3 [FALL_THROUGH]):
First pred is [N,-,-|N,N], [known={}]
last updated at 6166
[-1]==> [N,-,-|N,N], [known={}] @ 6166

Dataflow (block 26): start fact is [N,-,-|N,N], [known={}]
Dataflow (block 26): orig result is [N,-,-|N,N], [known={7(8)->K}]
Dataflow (block 26): result changed at timestamp 6167
Dataflow (block 26): result is [N,-,-|N,N], [known={}] @ timestamp 6167
Dataflow (block 29:66 invokestatic184 285): direction 1 for 26
Dataflow (block 29:66 invokestatic184 285):
Need to recompute. My timestamp = 6126, pred timestamp = 6167,
pred fact = [N,-,-|N,N], [known={}]
Dataflow (block 29:66 invokestatic184 285, predecessor 26 [FALL_THROUGH]):
First pred is [N,-,-|N,N], [known={}]
last updated at 6167
[66]==> [N,-,-|N,N], [known={}] @ 6167

Dataflow (block 29:66 invokestatic184 285): start fact is [N,-,-|N,N], [known={}]
Dataflow (block 29:66 invokestatic184 285): orig result is [N,-,-], [known={7(8)->K}]
Dataflow (block 29:66 invokestatic184 285): result changed at timestamp 6168
Dataflow (block 29:66 invokestatic184 285): result is [N,-,-], [known={}] @ timestamp 6168
Dataflow (block 28:72 astore_277): direction 3 for 26
Dataflow (block 28:72 astore_277):
Need to recompute. My timestamp = 6127, pred timestamp = 6167,
pred fact = [N,-,-|N,N], [known={}]
Dataflow (block 28:72 astore_277, predecessor 26 [HANDLED_EXCEPTION]):
First pred is [N,-,-|N,N], [known={}]
last updated at 6167
[72]==> [N,-,-|N], [known={}] @ 6168

Dataflow (block 28:72 astore_277): start fact is [N,-,-|N], [known={}]
Dataflow (block 28:72 astore_277): orig result is [N,-,N|N,-], [known={7(8)->K}]
Dataflow (block 28:72 astore_277): result changed at timestamp 6169
Dataflow (block 28:72 astore_277): result is [N,-,N|N,-], [known={}] @ timestamp 6169
Dataflow (block 31): direction 1 for 28:72 astore_277
Dataflow (block 31):
Need to recompute. My timestamp = 6128, pred timestamp = 6169,
pred fact = [N,-,N|N,-], [known={}]
Dataflow (block 31, predecessor 28:72 astore_277 [FALL_THROUGH]):
First pred is [N,-,N|N,-], [known={}]
last updated at 6169
[-1]==> [N,-,N|N,-], [known={}] @ 6169

Dataflow (block 31): start fact is [N,-,N|N,-], [known={}]
Dataflow (block 31): orig result is [N,-,N|N,-], [known={7(8)->K}]
Dataflow (block 31): result changed at timestamp 6170
Dataflow (block 31): result is [N,-,N|N,-], [known={}] @ timestamp 6170
Dataflow (block 33:77 anewarray189 2): direction 1 for 31
Dataflow (block 33:77 anewarray189 2):
Need to recompute. My timestamp = 6129, pred timestamp = 6170,
pred fact = [N,-,N|N,-], [known={}]
Dataflow (block 33:77 anewarray189 2, predecessor 31 [FALL_THROUGH]):
First pred is [N,-,N|N,-], [known={}]
last updated at 6170
[77]==> [N,-,N|N,-], [known={}] @ 6170

Dataflow (block 33:77 anewarray189 2): start fact is [N,-,N|N,-], [known={}]
Dataflow (block 33:77 anewarray189 2): orig result is [N,-,N|N,N,N,-,N], [known={7(8)->K}]
Dataflow (block 33:77 anewarray189 2): result changed at timestamp 6171
Dataflow (block 33:77 anewarray189 2): result is [N,-,N|N,N,N,-,N], [known={}] @ timestamp 6171
Dataflow (block 35): direction 1 for 33:77 anewarray189 2
Dataflow (block 35):
Need to recompute. My timestamp = 6130, pred timestamp = 6171,
pred fact = [N,-,N|N,N,N,-,N], [known={}]
Dataflow (block 35, predecessor 33:77 anewarray189 2 [FALL_THROUGH]):
First pred is [N,-,N|N,N,N,-,N], [known={}]
last updated at 6171
[-1]==> [N,-,N|N,N,N,-,N], [known={}] @ 6171

Dataflow (block 35): start fact is [N,-,N|N,N,N,-,N], [known={}]
Dataflow (block 35): orig result is [N,-,N|N,N,N,-,N], [known={7(8)->K}]
Dataflow (block 35): result changed at timestamp 6172
Dataflow (block 35): result is [N,-,N|N,N,N,-,N], [known={}] @ timestamp 6172
Dataflow (block 37:83 invokestatic184 18): direction 1 for 35
Dataflow (block 37:83 invokestatic184 18):
Need to recompute. My timestamp = 6131, pred timestamp = 6172,
pred fact = [N,-,N|N,N,N,-,N], [known={}]
Dataflow (block 37:83 invokestatic184 18, predecessor 35 [FALL_THROUGH]):
First pred is [N,-,N|N,N,N,-,N], [known={}]
last updated at 6172
[83]==> [N,-,N|N,N,N,-,N], [known={}] @ 6172

Dataflow (block 37:83 invokestatic184 18): start fact is [N,-,N|N,N,N,-,N], [known={}]
Dataflow (block 37:83 invokestatic184 18): orig result is [N,-,N|N,N,N,-,N], [known={7(8)->K}]
Dataflow (block 37:83 invokestatic184 18): result changed at timestamp 6173
Dataflow (block 37:83 invokestatic184 18): result is [N,-,N|N,N,N,-,N], [known={}] @ timestamp 6173
Dataflow (block 39): direction 1 for 37:83 invokestatic184 18
Dataflow (block 39):
Need to recompute. My timestamp = 6132, pred timestamp = 6173,
pred fact = [N,-,N|N,N,N,-,N], [known={}]
Dataflow (block 39, predecessor 37:83 invokestatic184 18 [FALL_THROUGH]):
First pred is [N,-,N|N,N,N,-,N], [known={}]
last updated at 6173
[-1]==> [N,-,N|N,N,N,-,N], [known={}] @ 6173

Dataflow (block 39): start fact is [N,-,N|N,N,N,-,N], [known={}]
Dataflow (block 39): orig result is [N,-,N|N,N,N,-,N], [known={7(8)->K}]
Dataflow (block 39): result changed at timestamp 6174
Dataflow (block 39): result is [N,-,N|N,N,N,-,N], [known={}] @ timestamp 6174
Dataflow (block 41:86 aastore83): direction 1 for 39
Dataflow (block 41:86 aastore83):
Need to recompute. My timestamp = 6133, pred timestamp = 6174,
pred fact = [N,-,N|N,N,N,-,N], [known={}]
Dataflow (block 41:86 aastore83, predecessor 39 [FALL_THROUGH]):
First pred is [N,-,N|N,N,N,-,N], [known={}]
last updated at 6174
[86]==> [N,-,N|N,N,N,-,N], [known={}] @ 6174

Dataflow (block 41:86 aastore83): start fact is [N,-,N|N,N,N,-,N], [known={}]
Dataflow (block 41:86 aastore83): orig result is [N,-,N|N,N], [known={7(8)->K}]
Dataflow (block 41:86 aastore83): result changed at timestamp 6175
Dataflow (block 41:86 aastore83): result is [N,-,N|N,N], [known={}] @ timestamp 6175
Dataflow (block 43): direction 1 for 41:86 aastore83
Dataflow (block 43):
Need to recompute. My timestamp = 6134, pred timestamp = 6175,
pred fact = [N,-,N|N,N], [known={}]
Dataflow (block 43, predecessor 41:86 aastore83 [FALL_THROUGH]):
First pred is [N,-,N|N,N], [known={}]
last updated at 6175
[-1]==> [N,-,N|N,N], [known={}] @ 6175

Dataflow (block 43): start fact is [N,-,N|N,N], [known={}]
Dataflow (block 43): orig result is [N,-,N|N,N], [known={7(8)->K}]
Dataflow (block 43): result changed at timestamp 6176
Dataflow (block 43): result is [N,-,N|N,N], [known={}] @ timestamp 6176
Dataflow (block 44:87 invokestatic184 3): direction 1 for 43
Dataflow (block 44:87 invokestatic184 3):
Need to recompute. My timestamp = 6135, pred timestamp = 6176,
pred fact = [N,-,N|N,N], [known={}]
Dataflow (block 44:87 invokestatic184 3, predecessor 43 [FALL_THROUGH]):
First pred is [N,-,N|N,N], [known={}]
last updated at 6176
[87]==> [N,-,N|N,N], [known={}] @ 6176

Dataflow (block 44:87 invokestatic184 3): start fact is [N,-,N|N,N], [known={}]
Dataflow (block 44:87 invokestatic184 3): orig result is [N,-,N], [known={7(8)->K}]
Dataflow (block 44:87 invokestatic184 3): result changed at timestamp 6177
Dataflow (block 44:87 invokestatic184 3): result is [N,-,N], [known={}] @ timestamp 6177
Dataflow (block 45): direction 1 for 44:87 invokestatic184 3
Dataflow (block 45):
Need to recompute. My timestamp = 6136, pred timestamp = 6177,
pred fact = [N,-,N], [known={}]
Dataflow (block 45, predecessor 44:87 invokestatic184 3 [FALL_THROUGH]):
First pred is [N,-,N], [known={}]
last updated at 6177
[-1]==> [N,-,N], [known={}] @ 6177

Dataflow (block 45): start fact is [N,-,N], [known={}]
Dataflow (block 45): orig result is [N,-,N], [known={7(8)->K}]
Dataflow (block 45): result changed at timestamp 6178
Dataflow (block 45): result is [N,-,N], [known={}] @ timestamp 6178
Dataflow (block 46:90 invokestatic184 288): direction 1 for 45
Dataflow (block 46:90 invokestatic184 288):
Need to recompute. My timestamp = 6137, pred timestamp = 6178,
pred fact = [N,-,N], [known={}]
Dataflow (block 46:90 invokestatic184 288, predecessor 45 [FALL_THROUGH]):
First pred is [N,-,N], [known={}]
last updated at 6178
[90]==> [N,-,N], [known={}] @ 6178

Dataflow (block 46:90 invokestatic184 288): start fact is [N,-,N], [known={}]
Dataflow (block 46:90 invokestatic184 288): orig result is [N,-,N|-], [known={7(8)->K}]
Dataflow (block 46:90 invokestatic184 288): result changed at timestamp 6179
Dataflow (block 46:90 invokestatic184 288): result is [N,-,N|-], [known={}] @ timestamp 6179
Dataflow (block 47): direction 1 for 46:90 invokestatic184 288
Dataflow (block 47):
Need to recompute. My timestamp = 6138, pred timestamp = 6179,
pred fact = [N,-,N|-], [known={}]
Dataflow (block 47, predecessor 46:90 invokestatic184 288 [FALL_THROUGH]):
First pred is [N,-,N|-], [known={}]
last updated at 6179
[-1]==> [N,-,N|-], [known={}] @ 6179

Dataflow (block 47): start fact is [N,-,N|-], [known={}]
Dataflow (block 47): orig result is [N,-,N|-], [known={7(8)->K}]
Dataflow (block 47): result changed at timestamp 6180
Dataflow (block 47): result is [N,-,N|-], [known={}] @ timestamp 6180
Dataflow (block 48:93 invokevirtual182 289): direction 1 for 47
Dataflow (block 48:93 invokevirtual182 289):
Need to recompute. My timestamp = 6139, pred timestamp = 6180,
pred fact = [N,-,N|-], [known={}]
Dataflow (block 48:93 invokevirtual182 289, predecessor 47 [FALL_THROUGH]):
First pred is [N,-,N|-], [known={}]
last updated at 6180
[93]==> [N,-,N|K], [known={20(1)->K}] @ 6180

Dataflow (block 48:93 invokevirtual182 289): start fact is [N,-,N|K], [known={20(1)->K}]
Dataflow (block 48:93 invokevirtual182 289): orig result is [N,-,N], [known={7(8)->K}]
Dataflow (block 48:93 invokevirtual182 289): result changed at timestamp 6181
Dataflow (block 48:93 invokevirtual182 289): result is [N,-,N], [known={}] @ timestamp 6181
Dataflow (block 9:96 aload_042): direction 43 for 7:36 invokevirtual182 281
Dataflow (block 9:96 aload_042):
Need to recompute. My timestamp = 6140, pred timestamp = 6160,
pred fact = [N,-,-], [known={8(1)->-}]
Dataflow (block 9:96 aload_042, predecessor 7:36 invokevirtual182 281 [IFCMP]):
First pred is [N,-,-], [known={8(1)->-}]
last updated at 6160
[96]==> [N,-,-], [known={21(9)->-}] @ 6181

Dataflow (block 9:96 aload_042, predecessor 10:49 iload_127 [IFCMP]):
Meet [N,-,-], [known={21(9)->-}]
with [N,-,-], [known={8(1)->-}]
pred last updated at 6161
[96]==> [N,-,-], [known={21(9)->-}] @ 6181

Dataflow (block 9:96 aload_042, predecessor 29:66 invokestatic184 285 [GOTO]):
Meet [N,-,-], [known={21(9)->-}]
with [N,-,-], [known={}]
pred last updated at 6168
[96]==> [N,-,-], [known={}] @ 6181

Dataflow (block 9:96 aload_042, predecessor 48:93 invokevirtual182 289 [FALL_THROUGH]):
Meet [N,-,-], [known={}]
with [N,-,N], [known={}]
pred last updated at 6181
[96]==> [N,-,-], [known={}] @ 6181

Dataflow (block 9:96 aload_042): start fact is [N,-,-], [known={}]
Dataflow (block 9:96 aload_042): orig result is [N,-,-], [known={7(8)->K}]
Dataflow (block 9:96 aload_042): result changed at timestamp 6182
Dataflow (block 9:96 aload_042): result is [N,-,-], [known={}] @ timestamp 6182
Dataflow (block 13:103 iload_127): direction 1 for 9:96 aload_042
Dataflow (block 13:103 iload_127):
Need to recompute. My timestamp = 6141, pred timestamp = 6182,
pred fact = [N,-,-], [known={}]
Dataflow (block 13:103 iload_127, predecessor 9:96 aload_042 [FALL_THROUGH]):
First pred is [N,-,-], [known={}]
last updated at 6182
[103]==> [N,-,-], [known={}] @ 6182

Dataflow (block 13:103 iload_127): start fact is [N,-,-], [known={}]
Dataflow (block 13:103 iload_127): orig result is [N,-,-], [known={7(8)->K}]
Dataflow (block 13:103 iload_127): result changed at timestamp 6183
Dataflow (block 13:103 iload_127): result is [N,-,-], [known={}] @ timestamp 6183
Dataflow (block 12:107 aload_042): direction 3 for 9:96 aload_042
Dataflow (block 12:107 aload_042):
Need to recompute. My timestamp = 6142, pred timestamp = 6182,
pred fact = [N,-,-], [known={}]
Dataflow (block 12:107 aload_042, predecessor 9:96 aload_042 [IFCMP]):
First pred is [N,-,-], [known={}]
last updated at 6182
[107]==> [N,-,-], [known={}] @ 6183

Dataflow (block 12:107 aload_042, predecessor 13:103 iload_127 [FALL_THROUGH]):
Meet [N,-,-], [known={}]
with [N,-,-], [known={}]
pred last updated at 6183
[107]==> [N,-,-], [known={}] @ 6183

Dataflow (block 12:107 aload_042): start fact is [N,-,-], [known={}]
Dataflow (block 12:107 aload_042): orig result is [N,-,-], [known={7(8)->K}]
Dataflow (block 12:107 aload_042): result changed at timestamp 6184
Dataflow (block 12:107 aload_042): result is [N,-,-], [known={}] @ timestamp 6184
Dataflow (block 17:114 new187 6): direction 1 for 12:107 aload_042
Dataflow (block 17:114 new187 6):
Need to recompute. My timestamp = 6143, pred timestamp = 6184,
pred fact = [N,-,-], [known={}]
Dataflow (block 17:114 new187 6, predecessor 12:107 aload_042 [FALL_THROUGH]):
First pred is [N,-,-], [known={}]
last updated at 6184
[114]==> [N,-,-], [known={}] @ 6184

Dataflow (block 17:114 new187 6): start fact is [N,-,-], [known={}]
Dataflow (block 17:114 new187 6): orig result is [N,-,-|N,N], [known={7(8)->K}]
Dataflow (block 17:114 new187 6): result changed at timestamp 6185
Dataflow (block 17:114 new187 6): result is [N,-,-|N,N], [known={}] @ timestamp 6185
Dataflow (block 19): direction 1 for 17:114 new187 6
Dataflow (block 19):
Need to recompute. My timestamp = 6144, pred timestamp = 6185,
pred fact = [N,-,-|N,N], [known={}]
Dataflow (block 19, predecessor 17:114 new187 6 [FALL_THROUGH]):
First pred is [N,-,-|N,N], [known={}]
last updated at 6185
[-1]==> [N,-,-|N,N], [known={}] @ 6185

Dataflow (block 19): start fact is [N,-,-|N,N], [known={}]
Dataflow (block 19): orig result is [N,-,-|N,N], [known={7(8)->K}]
Dataflow (block 19): result changed at timestamp 6186
Dataflow (block 19): result is [N,-,-|N,N], [known={}] @ timestamp 6186
Dataflow (block 21:118 invokespecial183 7): direction 1 for 19
Dataflow (block 21:118 invokespecial183 7):
Need to recompute. My timestamp = 6145, pred timestamp = 6186,
pred fact = [N,-,-|N,N], [known={}]
Dataflow (block 21:118 invokespecial183 7, predecessor 19 [FALL_THROUGH]):
First pred is [N,-,-|N,N], [known={}]
last updated at 6186
[118]==> [N,-,-|N,N], [known={}] @ 6186

Dataflow (block 21:118 invokespecial183 7): start fact is [N,-,-|N,N], [known={}]
Dataflow (block 21:118 invokespecial183 7): orig result is [N,-,-|N,N], [known={7(8)->K}]
Dataflow (block 21:118 invokespecial183 7): result changed at timestamp 6187
Dataflow (block 21:118 invokespecial183 7): result is [N,-,-|N,N], [known={}] @ timestamp 6187
Dataflow (block 23): direction 1 for 21:118 invokespecial183 7
Dataflow (block 23):
Need to recompute. My timestamp = 6146, pred timestamp = 6187,
pred fact = [N,-,-|N,N], [known={}]
Dataflow (block 23, predecessor 21:118 invokespecial183 7 [FALL_THROUGH]):
First pred is [N,-,-|N,N], [known={}]
last updated at 6187
[-1]==> [N,-,-|N,N], [known={}] @ 6187

Dataflow (block 23): start fact is [N,-,-|N,N], [known={}]
Dataflow (block 23): orig result is [N,-,-|N,N], [known={7(8)->K}]
Dataflow (block 23): result changed at timestamp 6188
Dataflow (block 23): result is [N,-,-|N,N], [known={}] @ timestamp 6188
Dataflow (block 25:124 invokevirtual182 9): direction 1 for 23
Dataflow (block 25:124 invokevirtual182 9):
Need to recompute. My timestamp = 6147, pred timestamp = 6188,
pred fact = [N,-,-|N,N], [known={}]
Dataflow (block 25:124 invokevirtual182 9, predecessor 23 [FALL_THROUGH]):
First pred is [N,-,-|N,N], [known={}]
last updated at 6188
[124]==> [N,-,-|N,N], [known={}] @ 6188

Dataflow (block 25:124 invokevirtual182 9): start fact is [N,-,-|N,N], [known={}]
Dataflow (block 25:124 invokevirtual182 9): orig result is [N,-,-|N,-], [known={7(8)->K}]
Dataflow (block 25:124 invokevirtual182 9): result changed at timestamp 6189
Dataflow (block 25:124 invokevirtual182 9): result is [N,-,-|N,-], [known={}] @ timestamp 6189
Dataflow (block 27): direction 1 for 25:124 invokevirtual182 9
Dataflow (block 27):
Need to recompute. My timestamp = 6148, pred timestamp = 6189,
pred fact = [N,-,-|N,-], [known={}]
Dataflow (block 27, predecessor 25:124 invokevirtual182 9 [FALL_THROUGH]):
First pred is [N,-,-|N,-], [known={}]
last updated at 6189
[-1]==> [N,-,-|N,-], [known={}] @ 6189

Dataflow (block 27): start fact is [N,-,-|N,-], [known={}]
Dataflow (block 27): orig result is [N,-,-|N,-], [known={7(8)->K}]
Dataflow (block 27): result changed at timestamp 6190
Dataflow (block 27): result is [N,-,-|N,-], [known={}] @ timestamp 6190
Dataflow (block 30:131 invokevirtual182 9): direction 1 for 27
Dataflow (block 30:131 invokevirtual182 9):
Need to recompute. My timestamp = 6149, pred timestamp = 6190,
pred fact = [N,-,-|N,-], [known={}]
Dataflow (block 30:131 invokevirtual182 9, predecessor 27 [FALL_THROUGH]):
First pred is [N,-,-|N,-], [known={}]
last updated at 6190
[131]==> [N,-,-|N,-], [known={}] @ 6190

Dataflow (block 30:131 invokevirtual182 9): start fact is [N,-,-|N,-], [known={}]
Dataflow (block 30:131 invokevirtual182 9): orig result is [N,-,-|N], [known={7(8)->K}]
Dataflow (block 30:131 invokevirtual182 9): result changed at timestamp 6191
Dataflow (block 30:131 invokevirtual182 9): result is [N,-,-|N], [known={}] @ timestamp 6191
Dataflow (block 32): direction 1 for 30:131 invokevirtual182 9
Dataflow (block 32):
Need to recompute. My timestamp = 6150, pred timestamp = 6191,
pred fact = [N,-,-|N], [known={}]
Dataflow (block 32, predecessor 30:131 invokevirtual182 9 [FALL_THROUGH]):
First pred is [N,-,-|N], [known={}]
last updated at 6191
[-1]==> [N,-,-|N], [known={}] @ 6191

Dataflow (block 32): start fact is [N,-,-|N], [known={}]
Dataflow (block 32): orig result is [N,-,-|N], [known={7(8)->K}]
Dataflow (block 32): result changed at timestamp 6192
Dataflow (block 32): result is [N,-,-|N], [known={}] @ timestamp 6192
Dataflow (block 34:134 invokevirtual182 11): direction 1 for 32
Dataflow (block 34:134 invokevirtual182 11):
Need to recompute. My timestamp = 6151, pred timestamp = 6192,
pred fact = [N,-,-|N], [known={}]
Dataflow (block 34:134 invokevirtual182 11, predecessor 32 [FALL_THROUGH]):
First pred is [N,-,-|N], [known={}]
last updated at 6192
[134]==> [N,-,-|N], [known={}] @ 6192

Dataflow (block 34:134 invokevirtual182 11): start fact is [N,-,-|N], [known={}]
Dataflow (block 34:134 invokevirtual182 11): orig result is [N,-,-|N,-], [known={7(8)->K}]
Dataflow (block 34:134 invokevirtual182 11): result changed at timestamp 6193
Dataflow (block 34:134 invokevirtual182 11): result is [N,-,-|N,-], [known={}] @ timestamp 6193
Dataflow (block 36): direction 1 for 34:134 invokevirtual182 11
Dataflow (block 36):
Need to recompute. My timestamp = 6152, pred timestamp = 6193,
pred fact = [N,-,-|N,-], [known={}]
Dataflow (block 36, predecessor 34:134 invokevirtual182 11 [FALL_THROUGH]):
First pred is [N,-,-|N,-], [known={}]
last updated at 6193
[-1]==> [N,-,-|N,-], [known={}] @ 6193

Dataflow (block 36): start fact is [N,-,-|N,-], [known={}]
Dataflow (block 36): orig result is [N,-,-|N,-], [known={7(8)->K}]
Dataflow (block 36): result changed at timestamp 6194
Dataflow (block 36): result is [N,-,-|N,-], [known={}] @ timestamp 6194
Dataflow (block 38:138 anewarray189 2): direction 1 for 36
Dataflow (block 38:138 anewarray189 2):
Need to recompute. My timestamp = 6153, pred timestamp = 6194,
pred fact = [N,-,-|N,-], [known={}]
Dataflow (block 38:138 anewarray189 2, predecessor 36 [FALL_THROUGH]):
First pred is [N,-,-|N,-], [known={}]
last updated at 6194
[138]==> [N,-,-|N,-], [known={}] @ 6194

Dataflow (block 38:138 anewarray189 2): start fact is [N,-,-|N,-], [known={}]
Dataflow (block 38:138 anewarray189 2): orig result is [N,-,-|N,N], [known={7(8)->K}]
Dataflow (block 38:138 anewarray189 2): result changed at timestamp 6195
Dataflow (block 38:138 anewarray189 2): result is [N,-,-|N,N], [known={}] @ timestamp 6195
Dataflow (block 40): direction 1 for 38:138 anewarray189 2
Dataflow (block 40):
Need to recompute. My timestamp = 6154, pred timestamp = 6195,
pred fact = [N,-,-|N,N], [known={}]
Dataflow (block 40, predecessor 38:138 anewarray189 2 [FALL_THROUGH]):
First pred is [N,-,-|N,N], [known={}]
last updated at 6195
[-1]==> [N,-,-|N,N], [known={}] @ 6195

Dataflow (block 40): start fact is [N,-,-|N,N], [known={}]
Dataflow (block 40): orig result is [N,-,-|N,N], [known={7(8)->K}]
Dataflow (block 40): result changed at timestamp 6196
Dataflow (block 40): result is [N,-,-|N,N], [known={}] @ timestamp 6196
Dataflow (block 42:141 invokestatic184 3): direction 1 for 40
Dataflow (block 42:141 invokestatic184 3):
Need to recompute. My timestamp = 6155, pred timestamp = 6196,
pred fact = [N,-,-|N,N], [known={}]
Dataflow (block 42:141 invokestatic184 3, predecessor 40 [FALL_THROUGH]):
First pred is [N,-,-|N,N], [known={}]
last updated at 6196
[141]==> [N,-,-|N,N], [known={}] @ 6196

Dataflow (block 42:141 invokestatic184 3): start fact is [N,-,-|N,N], [known={}]
Dataflow (block 42:141 invokestatic184 3): orig result is [N,-,-], [known={7(8)->K}]
Dataflow (block 42:141 invokestatic184 3): result changed at timestamp 6197
Dataflow (block 42:141 invokestatic184 3): result is [N,-,-], [known={}] @ timestamp 6197
Dataflow (block 16:144 return177): direction 27 for 12:107 aload_042
Dataflow (block 16:144 return177):
Need to recompute. My timestamp = 6156, pred timestamp = 6184,
pred fact = [N,-,-], [known={}]
Dataflow (block 16:144 return177, predecessor 12:107 aload_042 [IFCMP]):
First pred is [N,-,-], [known={}]
last updated at 6184
[144]==> [N,-,-], [known={}] @ 6197

Dataflow (block 16:144 return177, predecessor 42:141 invokestatic184 3 [FALL_THROUGH]):
Meet [N,-,-], [known={}]
with [N,-,-], [known={}]
pred last updated at 6197
[144]==> [N,-,-], [known={}] @ 6197

Dataflow (block 16:144 return177): start fact is [N,-,-], [known={}]
Dataflow (block 16:144 return177): orig result is [N,-,-], [known={7(8)->K}]
Dataflow (block 16:144 return177): result changed at timestamp 6198
Dataflow (block 16:144 return177): result is [N,-,-], [known={}] @ timestamp 6198
Dataflow (block 1): direction 75 for 5
Dataflow (block 1):
Need to recompute. My timestamp = 6157, pred timestamp = 6159,
pred fact = [N,-,-|N,N], [known={}]
Dataflow (block 1, predecessor 5 [UNHANDLED_EXCEPTION]):
First pred is [N,-,-|N,N], [known={}]
last updated at 6159
[-1]==> [N,-,-|N,N], [known={}] @ 6198

Dataflow (block 1, predecessor 6 [UNHANDLED_EXCEPTION]):
Meet [N,-,-|N,N], [known={}]
with [N,-,-|N,N,N,N], [known={4->w, 3(16)->-}]
pred last updated at 3
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 11 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,-|N], [known={5->N}]
pred last updated at 5
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 16:144 return177 [RETURN]):
Meet [BOTTOM], [known={}]
with [N,-,-], [known={}]
pred last updated at 6198
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 18 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,-|N,-], [known={8(1)->-}]
pred last updated at 6163
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 19 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,-|N,N], [known={}]
pred last updated at 6186
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 22 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,-|N,N], [known={8(1)->-}]
pred last updated at 6165
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 23 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,-|N,N], [known={}]
pred last updated at 6188
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 26 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,-|N,N], [known={}]
pred last updated at 6167
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 27 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,-|N,-], [known={}]
pred last updated at 6190
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 31 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,N|N,-], [known={}]
pred last updated at 6170
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 32 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,-|N], [known={}]
pred last updated at 6192
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 35 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,N|N,N,N,-,N], [known={}]
pred last updated at 6172
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 36 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,-|N,-], [known={}]
pred last updated at 6194
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 39 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,N|N,N,N,-,N], [known={}]
pred last updated at 6174
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 40 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,-|N,N], [known={}]
pred last updated at 6196
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 43 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,N|N,N], [known={}]
pred last updated at 6176
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 45 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,N], [known={}]
pred last updated at 6178
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1, predecessor 47 [UNHANDLED_EXCEPTION]):
Meet [BOTTOM], [known={}]
with [N,-,N|-], [known={}]
pred last updated at 6180
[-1]==> [BOTTOM], [known={}] @ 6198

Dataflow (block 1): start fact is [BOTTOM], [known={}]
Dataflow (block 1): orig result is [BOTTOM], [known={}]
Dataflow (block 1): result is [BOTTOM], [known={}] @ timestamp 48

...
...

edu.umd.cs.findbugs.ba.npe.IsNullValueDataflow iteration: 159, timestamp: 6485
fr.espacebanque.emon.lang.ConstantsEnv.waitForEB(Z)V

M D NP: Un appel de méthode dans fr.espacesante.hcmon.bean.acheminement.AcheminementBean.trouverDateDebutAcheminement(Convention) passe null à un paramètre déréférencé de façon inconditionnelle dans java.util.Date.before(Date) At AcheminementBean.java:[line 1076]
H D USELESS_STRING: Invocation de toString sur un tableau dans fr.espacesante.hcmon.bean.pi11.HcAlerteBean.getSaveEscapedValue(int) At HcAlerteBean.java:[line 179]
M D ICAST: Une valeur entière est transtypée en flottant puis transmise à Math.round dans fr.espacebanque.emon.bean.geo.GeoBean.loadGeoInfoCountries() At GeoBean.java:[line 888]
The following errors occurred during analysis:
While analyzing fr.espacebanque.emon.lang.ConstantsEnv.waitForEB(boolean): FindNullDeref caught dae exception
edu.umd.cs.findbugs.ba.DataflowAnalysisException: Too many iterations (159) in dataflow when analyzing fr.espacebanque.emon.lang.ConstantsEnv.waitForEB(boolean)
At edu.umd.cs.findbugs.ba.Dataflow.execute(Dataflow.java:191)
At edu.umd.cs.findbugs.classfile.engine.bcel.IsNullValueDataflowFactory.analyze(IsNullValueDataflowFactory.java:80)
At edu.umd.cs.findbugs.classfile.engine.bcel.IsNullValueDataflowFactory.analyze(IsNullValueDataflowFactory.java:44)
At edu.umd.cs.findbugs.classfile.impl.AnalysisCache.analyzeMethod(AnalysisCache.java:368)
At edu.umd.cs.findbugs.classfile.impl.AnalysisCache.getMethodAnalysis(AnalysisCache.java:321)
At edu.umd.cs.findbugs.ba.ClassContext.getMethodAnalysis(ClassContext.java:1010)
At edu.umd.cs.findbugs.ba.ClassContext.getIsNullValueDataflow(ClassContext.java:344)
At edu.umd.cs.findbugs.detect.FindNullDeref.analyzeMethod(FindNullDeref.java:273)
At edu.umd.cs.findbugs.detect.FindNullDeref.visitClassContext(FindNullDeref.java:215)
At edu.umd.cs.findbugs.DetectorToDetector2Adapter.visitClass(DetectorToDetector2Adapter.java:76)
At edu.umd.cs.findbugs.FindBugs2.lambda$analyzeApplication$1(FindBugs2.java:1108)
At java.util.concurrent.FutureTask.run(FutureTask.java:266)
At edu.umd.cs.findbugs.CurrentThreadExecutorService.execute(CurrentThreadExecutorService.java:86)
At java.util.concurrent.AbstractExecutorService.invokeAll(AbstractExecutorService.java:238)
At edu.umd.cs.findbugs.FindBugs2.analyzeApplication(FindBugs2.java:1118)
At edu.umd.cs.findbugs.FindBugs2.execute(FindBugs2.java:309)
At edu.umd.cs.findbugs.FindBugs.runMain(FindBugs.java:395)
At edu.umd.cs.findbugs.FindBugs2.main(FindBugs2.java:1231)
`
@welcome
Copy link

welcome bot commented Jul 5, 2023

Thanks for opening your first issue here! 😃
Please check our contributing guideline. Especially when you report a problem, make sure you share a Minimal, Complete, and Verifiable example to reproduce it in this issue.

@hazendaz
Copy link
Member

hazendaz commented Jul 5, 2023 via email

@FreddySquall
Copy link
Author

Hi,

yes it is. We tested all releases starting from 4.4.2 and it's ok between 4.4.2 to 4.5.2 but it fails since 4.5.3 (to latest).

Regards

@gtoison
Copy link
Contributor

gtoison commented Aug 8, 2023

Would you be able to share the java source causing this error?
Reproducing the issue would help a lot

@FreddySquall
Copy link
Author

FreddySquall commented Aug 16, 2023 •
edited

Hi,

here is the content of "ConstantEnv.waitForEB()" method :

	public void waitForEB( boolean retry )
	{
		_EBok = false ;
		if ( this.rolesEB == null )
		{
			this.rolesEB = new SockRole(this);
			this.rolesEB.start();				// Démarrage de la thread de surveillance
		}
		do
		{
			_EBok = this.rolesEB.checkEB();
			if ( !_EBok && retry )
			{
				utils.emonError("Système inaccessible ! Nouvelle vérification dans 10 secondes...");
				try
				{
					Thread.sleep( 10000 );
				}
				catch (InterruptedException e)
				{
					utils.emonError("Exception dans la pause. Erreur = {0}", utils.formatExceptionMessage(e));
					Thread.currentThread().interrupt();	// Restaurer l'état d'interruption
				}
			}
		}
		while( ! _EBok && retry );
		
		if ( ! _EBok ) utils.emonError("Système inaccessible sur environnement " + this._envName);

	}

gtoison added a commit to gtoison/spotbugs that referenced this issue Aug 19, 2023
@gtoison
test: issue spotbugs#2465 reproducer
0997612
hazendaz pushed a commit that referenced this issue Aug 19, 2023
@gtoison
Issue #2465 reproducer and fix (#2522)
a30e6e6 
* test: issue #2465 reproducer

* fix: update the reverse map when modifying an entry

The AvailableLoad -> ValueNumber[] was modified into a bidirectional map
in #1864 to remove a costly linear search in the getLoad() method.
Fixed a direct update to the underlying map in mergeAvailableLoadSets()
to also update the reverse map

* Updated the changelog
@gtoison
Copy link
Contributor

gtoison commented Aug 19, 2023

Fixed by #2522

@gtoison gtoison closed this as completed Aug 19, 2023
@hazendaz hazendaz mentioned this issue Aug 19, 2023
Merged
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@hazendaz @FreddySquall @gtoison