FPCFAnalysisIntegrationTest fails

[Michael Eichberg]

Examples of failing tests are:

First

[info] - should compute the correct properties *** FAILED ***
[info]   comparison failed:
[info]   new: DefinedMethod(declaringClassType=com.sun.glass.ui.Accessible,definedMethod=com.sun.glass.ui.Accessible{ java.lang.Object $forward$lambda$getAttribute$0(javafx.scene.AccessibleAttribute,java.lang.Object[],java.security.AccessControlContext) }) => ImpureByAnalysis
[info]          vs.
[info]   old: DefinedMethod(declaringClassType=com.sun.glass.ui.Accessible,definedMethod=com.sun.glass.ui.Accessible{ java.lang.Object $forward$lambda$getAttribute$0(javafx.scene.AccessibleAttribute,java.lang.Object[],java.security.AccessControlContext) }) => SideEffectFree
[info]   current results written to :
[info]   SimplePurityTest-OPAL-MultiJar-SNAPSHOT-01-04-2018-dependencies.txt.gz (FPCFAnalysesIntegrationTest.scala:94)

Second

[info] - should compute the correct properties *** FAILED ***
[info]   comparison failed:
[info]   new: DefinedMethod(declaringClassType=app.ExpressionPrinter$OneConstant$getSuperToConstant()Ljava$util$function$Supplier::1$Lambda,definedMethod=app.ExpressionPrinter$OneConstant$getSuperToConstant()Ljava$util$function$Supplier::1$Lambda{ public lib.Constant get() }) => ImpureByAnalysis
[info]          vs.
[info]   old: DefinedMethod(declaringClassType=app.ExpressionPrinter$OneConstant$getSuperToConstant()Ljava$util$function$Supplier::1$Lambda,definedMethod=app.ExpressionPrinter$OneConstant$getSuperToConstant()Ljava$util$function$Supplier::1$Lambda{ public lib.Constant get() }) => DSideEffectFree
[info]   current results written to :
[info]   ExtensiveAnalysesTest-jcg_lambda_expressions.jar.txt.gz (FPCFAnalysesIntegrationTest.scala:94)

Third

[info] - should compute the correct properties *** FAILED ***
[info]   comparison failed:
[info]   new: VirtualFormalParameter(lambdas.methodreferences.MethodReferences$SomeInterface{ void $forward$lambda$0() },origin=-1) => AtMost(EscapeInCallee)
[info]          vs.
[info]   old: VirtualFormalParameter(lambdas.methodreferences.MethodReferences$SomeInterface{ void $forward$lambda$0() },origin=-1) => EscapeInCallee
[info]   current results written to :
[info]   ExtensiveAnalysesTest-lambdas-1.8-g-parameters-genericsignature.jar.txt.gz (FPCFAnalysesIntegrationTest.scala:94)

[errt]

Rebuilt reference files for FPCFAnalysisIntegrationTest Resolves issue #164

→ <<cset df1964fa34fd>>

[Michael Eichberg]

we still (or again) have issues:

[info] - should compute the correct properties *** FAILED ***
[info]   comparison failed:
[info]   new: DefinitionSite(private static final void check(java.lang.Object)«ExceptionTable»,4,IntTrieSet(8,11)) => EscapeViaAbnormalReturn
[info]          vs.
[info]   old: DefinitionSite(public int finallyGame(java.lang.Object)«ExceptionTable»,46,IntTrieSet(50,126)) => AtMost(EscapeInCallee)
[info]   current results written to :
[info]   ExtensiveAnalysesTest-jsr_ret-1.3-g-preserveAllLocals-nowarn.jar.txt.gz (FPCFAnalysesIntegrationTest.scala:94)

and

[info] - should compute the correct properties *** FAILED ***
[info]   comparison failed:
[info]   new: DefinedMethod(declaringClassType=jsr_ret.Demo,definedMethod=jsr_ret.Demo{ private static void check(java.lang.Object) }) => DPure
[info]          vs.
[info]   old: DefinedMethod(declaringClassType=jsr_ret.Demo,definedMethod=jsr_ret.Demo{ private static void doIt() }) => ImpureByAnalysis
[info]   current results written to :
[info]   SimplePurityTest-jsr_ret-1.3-g-preserveAllLocals-nowarn.jar.txt.gz (FPCFAnalysesIntegrationTest.scala:94)

[errt]

Rebuilt reference files for FPCFAnalysisIntegrationTest Resolves issue #164

→ <<cset 77df3690274d>>

[Michael Eichberg]

Removing version: 1.1.0 (automated comment)