Attachment 277657 Details for Bug 543480 – Trace of incorporation for Test2 from comment 4 with 2 invocations of f(T)

Trace of incorporation for Test2 from comment 4 with 2 invocations of f(T)

boundSetTraceFor2Calls.txt (text/plain), 12.32 KB, created by Sebastian Lohmeier

on 2019-02-22 05:53:35 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Sebastian Lohmeier

Created: 2019-02-22 05:53:35 EST

Size: 12.32 KB

patch

obsolete

>
>1828651048 created for f(11) with args=[11]
>   1828651048 addInferenceVariables([T#0])
>   1828651048 solve(true)
>   1828651048 reduce()
>	incorporate iteration 0
>	  0 incorporatedBounds=[]
>	  1 freshBounds=[TypeBound  T#0 :> java.lang.Integer]
>	  0 unincorporated bounds=[...]
>   1828651048 resolve(InferenceVariable[])
>   1828651048 resolve(InferenceVariable[]) now uses [T#0]
>	incorporate iteration 0
>	  1 incorporatedBounds=[TypeBound  T#0 :> java.lang.Integer]
>	  1 freshBounds=[TypeBound  T#0 = java.lang.Integer]
>	  0 unincorporated bounds=[...]
>
>395241140 created for f(12) with args=[12]
>   395241140 addInferenceVariables([T#1])
>   395241140 solve(true)
>   395241140 reduce()
>	incorporate iteration 0
>	  0 incorporatedBounds=[]
>	  1 freshBounds=[TypeBound  T#1 :> java.lang.Integer]
>	  0 unincorporated bounds=[...]
>   395241140 resolve(InferenceVariable[])
>   395241140 resolve(InferenceVariable[]) now uses [T#1]
>	incorporate iteration 0
>	  1 incorporatedBounds=[TypeBound  T#1 :> java.lang.Integer]
>	  1 freshBounds=[TypeBound  T#1 = java.lang.Integer]
>	  0 unincorporated bounds=[...]
>
>2040096468 created for s(f(11), f(12)) with args=[f(11), f(12)]
>   2040096468 addInferenceVariables([T1#2, T2#3])
>   2040096468 solve(true)
>   2040096468 reduce()
>	incorporate iteration 0
>	  0 incorporatedBounds=[]
>	  4 freshBounds=[TypeBound  T#0 :> java.lang.Integer,
>                         Dependency T#0 = T1#2, 
>                         TypeBound  T#1 :> java.lang.Integer, 
>                         Dependency T#1 = T2#3]
>	  2 unincorporated bounds=[TypeBound  T1#2 :> java.lang.Integer, 
>                                   TypeBound  T2#3 :> java.lang.Integer, ...]
>	incorporate iteration 1
>	  4 incorporatedBounds=[TypeBound  T#0 :> java.lang.Integer,
>                                Dependency T#0 = T1#2, 
>                                TypeBound  T#1 :> java.lang.Integer, 
>                                Dependency T#1 = T2#3]
>	  2 freshBounds=[TypeBound  T1#2 :> java.lang.Integer, 
>                         TypeBound  T2#3 :> java.lang.Integer]
>	  0 unincorporated bounds=[...]
>   2040096468 resolve(InferenceVariable[])
>   2040096468 resolve(InferenceVariable[]) now uses [T1#2]
>	incorporate iteration 0
>	  6 incorporatedBounds=[TypeBound  T#0 :> java.lang.Integer, 
>                                Dependency T#0 = T1#2, 
>                                TypeBound  T#1 :> java.lang.Integer, 
>                                Dependency T#1 = T2#3, 
>                                TypeBound  T1#2 :> java.lang.Integer, 
>                                TypeBound  T2#3 :> java.lang.Integer]
>	  1 freshBounds=[TypeBound  T1#2 = java.lang.Integer]
>	  1 unincorporated bounds=[TypeBound  T#0 = java.lang.Integer, ...]
>	incorporate iteration 1
>	  7 incorporatedBounds=[TypeBound  T#0 :> java.lang.Integer, 
>                                Dependency T#0 = T1#2, 
>                                TypeBound  T#1 :> java.lang.Integer, 
>                                Dependency T#1 = T2#3, 
>                                TypeBound  T1#2 :> java.lang.Integer, 
>                                TypeBound  T2#3 :> java.lang.Integer, 
>                                TypeBound  T1#2 = java.lang.Integer]
>	  1 freshBounds=[TypeBound  T#0 = java.lang.Integer]
>	  0 unincorporated bounds=[...]
>   2040096468 resolve(InferenceVariable[]) now uses [T2#3]
>	incorporate iteration 0
>	  8 incorporatedBounds=[TypeBound  T#0 :> java.lang.Integer, 
>                                Dependency T#0 = T1#2, 
>                                TypeBound  T#1 :> java.lang.Integer, 
>                                Dependency T#1 = T2#3, 
>                                TypeBound  T1#2 :> java.lang.Integer, 
>                                TypeBound  T2#3 :> java.lang.Integer, 
>                                TypeBound  T1#2 = java.lang.Integer, 
>                                TypeBound  T#0 = java.lang.Integer]
>	  1 freshBounds=[TypeBound  T2#3 = java.lang.Integer]
>	  1 unincorporated bounds=[TypeBound  T#1 = java.lang.Integer, ...]
>	incorporate iteration 1
>	  9 incorporatedBounds=[TypeBound  T#0 :> java.lang.Integer, 
>                                Dependency T#0 = T1#2, 
>                                TypeBound  T#1 :> java.lang.Integer, 
>                                Dependency T#1 = T2#3, 
>                                TypeBound  T1#2 :> java.lang.Integer, 
>                                TypeBound  T2#3 :> java.lang.Integer, 
>                                TypeBound  T1#2 = java.lang.Integer, 
>                                TypeBound  T#0 = java.lang.Integer, 
>                                TypeBound  T2#3 = java.lang.Integer]
>	  1 freshBounds=[TypeBound  T#1 = java.lang.Integer]
>	  0 unincorporated bounds=[...]
>
>715287983 created for m(s(f(11), f(12))) with args=[s(f(11), f(12))]
>   715287983 addInferenceVariables([R#4])
>   715287983 solve(true)
>   715287983 reduce()
>	incorporate iteration 0
>	  0 incorporatedBounds=[]
>	  7 freshBounds=[TypeBound  T1#2 :> java.lang.Integer, 
>                         TypeBound  T#0 :> java.lang.Integer, 
>                         Dependency T#0 = T1#2, 
>                         TypeBound  T#1 :> java.lang.Integer, 
>                         Dependency T#1 = T2#3, 
>                         TypeBound  T2#3 :> java.lang.Integer, 
>                         Dependency R#4 = R2<T1#2,T2#3>]
>	  0 unincorporated bounds=[...]
>   715287983 resolve(InferenceVariable[])
>   715287983 resolve(InferenceVariable[]) now uses [T1#2]
>	incorporate iteration 0
>	  7 incorporatedBounds=[TypeBound  T1#2 :> java.lang.Integer, 
>                                TypeBound  T#0 :> java.lang.Integer, 
>                                Dependency T#0 = T1#2, 
>                                TypeBound  T#1 :> java.lang.Integer, 
>                                Dependency T#1 = T2#3, 
>                                TypeBound  T2#3 :> java.lang.Integer, 
>                                Dependency R#4 = R2<T1#2,T2#3>]
>	  1 freshBounds=[TypeBound  T1#2 = java.lang.Integer]
>	  2 unincorporated bounds=[TypeBound  T#0 = java.lang.Integer, 
>                                   Dependency R#4 = R2<java.lang.Integer,T2#3>, ...]
>	incorporate iteration 1
>	  8 incorporatedBounds=[TypeBound  T1#2 :> java.lang.Integer, 
>                                TypeBound  T#0 :> java.lang.Integer, 
>                                Dependency T#0 = T1#2, 
>                                TypeBound  T#1 :> java.lang.Integer, 
>                                Dependency T#1 = T2#3, 
>                                TypeBound  T2#3 :> java.lang.Integer, 
>                                Dependency R#4 = R2<T1#2,T2#3>, 
>                                TypeBound  T1#2 = java.lang.Integer]
>	  2 freshBounds=[TypeBound  T#0 = java.lang.Integer, 
>                         Dependency R#4 = R2<java.lang.Integer,T2#3>]
>	  0 unincorporated bounds=[...]
>   715287983 resolve(InferenceVariable[]) now uses [T2#3]
>	incorporate iteration 0
>	  10 incorporatedBounds=[TypeBound  T1#2 :> java.lang.Integer, 
>                                TypeBound  T#0 :> java.lang.Integer, 
>                                Dependency T#0 = T1#2, 
>                                TypeBound  T#1 :> java.lang.Integer, 
>                                Dependency T#1 = T2#3, 
>                                TypeBound  T2#3 :> java.lang.Integer, 
>                                Dependency R#4 = R2<T1#2,T2#3>, 
>                                TypeBound  T1#2 = java.lang.Integer, 
>                                TypeBound  T#0 = java.lang.Integer, 
>                                Dependency R#4 = R2<java.lang.Integer,T2#3>]
>	  1 freshBounds=[TypeBound  T2#3 = java.lang.Integer]
>	  3 unincorporated bounds=[TypeBound  T#1 = java.lang.Integer, 
>                                   Dependency R#4 = R2<T1#2,java.lang.Integer>, 
>                                   TypeBound  R#4 = R2<java.lang.Integer,java.lang.Integer>, ...]
>	incorporate iteration 1
>	  11 incorporatedBounds=[TypeBound  T1#2 :> java.lang.Integer, 
>                                TypeBound  T#0 :> java.lang.Integer, 
>                                Dependency T#0 = T1#2, 
>                                TypeBound  T#1 :> java.lang.Integer, 
>                                Dependency T#1 = T2#3, 
>                                TypeBound  T2#3 :> java.lang.Integer, 
>                                Dependency R#4 = R2<T1#2,T2#3>, 
>                                TypeBound  T1#2 = java.lang.Integer, 
>                                TypeBound  T#0 = java.lang.Integer, 
>                                Dependency R#4 = R2<java.lang.Integer,T2#3>, 
>                                TypeBound  T2#3 = java.lang.Integer]
>	  3 freshBounds=[TypeBound  T#1 = java.lang.Integer, 
>                         Dependency R#4 = R2<T1#2,java.lang.Integer>, 
>                         TypeBound  R#4 = R2<java.lang.Integer,java.lang.Integer>]
>	  0 unincorporated bounds=[...]
>   715287983 inferInvocationType(null, m(s(f(11), f(12))), ...)
>   715287983 solve(false)
>   715287983 reduce()
>   715287983 resolve(InferenceVariable[])
>   715287983 resolve(InferenceVariable[]) now uses [T1#2]
>	incorporate iteration 0
>	  7 incorporatedBounds=[TypeBound  T1#2 :> java.lang.Integer, 
>                                TypeBound  T#0 :> java.lang.Integer, 
>                                Dependency T#0 = T1#2, 
>                                TypeBound  T#1 :> java.lang.Integer, 
>                                Dependency T#1 = T2#3, 
>                                TypeBound  T2#3 :> java.lang.Integer, 
>                                Dependency R#4 = R2<T1#2,T2#3>]
>	  1 freshBounds=[TypeBound  T1#2 = java.lang.Integer]
>	  2 unincorporated bounds=[TypeBound  T#0 = java.lang.Integer, 
>                                   Dependency R#4 = R2<java.lang.Integer,T2#3>, ...]
>	incorporate iteration 1
>	  8 incorporatedBounds=[TypeBound  T1#2 :> java.lang.Integer, 
>                                TypeBound  T#0 :> java.lang.Integer, 
>                                Dependency T#0 = T1#2, 
>                                TypeBound  T#1 :> java.lang.Integer, 
>                                Dependency T#1 = T2#3, 
>                                TypeBound  T2#3 :> java.lang.Integer, 
>                                Dependency R#4 = R2<T1#2,T2#3>, 
>                                TypeBound  T1#2 = java.lang.Integer]
>	  2 freshBounds=[TypeBound  T#0 = java.lang.Integer, 
>                         Dependency R#4 = R2<java.lang.Integer,T2#3>]
>	  0 unincorporated bounds=[...]
>   715287983 resolve(InferenceVariable[]) now uses [T2#3]
>	incorporate iteration 0
>	  10 incorporatedBounds=[TypeBound  T1#2 :> java.lang.Integer, 
>                                TypeBound  T#0 :> java.lang.Integer, 
>                                Dependency T#0 = T1#2, 
>                                TypeBound  T#1 :> java.lang.Integer, 
>                                Dependency T#1 = T2#3, 
>                                TypeBound  T2#3 :> java.lang.Integer, 
>                                Dependency R#4 = R2<T1#2,T2#3>, 
>                                TypeBound  T1#2 = java.lang.Integer, 
>                                TypeBound  T#0 = java.lang.Integer, 
>                                Dependency R#4 = R2<java.lang.Integer,T2#3>]
>	  1 freshBounds=[TypeBound  T2#3 = java.lang.Integer]
>	  3 unincorporated bounds=[TypeBound  T#1 = java.lang.Integer, 
>                                   Dependency R#4 = R2<T1#2,java.lang.Integer>, 
>                                   TypeBound  R#4 = R2<java.lang.Integer,java.lang.Integer>, ...]
>	incorporate iteration 1
>	  11 incorporatedBounds=[TypeBound  T1#2 :> java.lang.Integer, 
>                                TypeBound  T#0 :> java.lang.Integer, 
>                                Dependency T#0 = T1#2, 
>                                TypeBound  T#1 :> java.lang.Integer, 
>                                Dependency T#1 = T2#3, 
>                                TypeBound  T2#3 :> java.lang.Integer, 
>                                Dependency R#4 = R2<T1#2,T2#3>, 
>                                TypeBound  T1#2 = java.lang.Integer, 
>                                TypeBound  T#0 = java.lang.Integer, 
>                                Dependency R#4 = R2<java.lang.Integer,T2#3>, 
>                                TypeBound  T2#3 = java.lang.Integer]
>	  3 freshBounds=[TypeBound  T#1 = java.lang.Integer, 
>                         Dependency R#4 = R2<T1#2,java.lang.Integer>, 
>                         TypeBound  R#4 = R2<java.lang.Integer,java.lang.Integer>]
>	  0 unincorporated bounds=[...]
>compilation of Test2 took 2119 ms
>

Actions: View

Attachments on bug 543480: 277162 | 277655 | 277656 | 277657 | 277658