Maurizio Cimadamore
941752ea25
8012242: Lambda compatibility and checked exceptions
...
Inference variables in 'throws' clause with no constraints should be inferred as RuntimeException
Reviewed-by: jjg, vromero
2013-07-17 14:04:01 +01:00
Maurizio Cimadamore
617386d568
8013404: Unclear spec for target typing with conditional operator (?:)
...
Fix previously ignored test
Reviewed-by: jjg, vromero
2013-07-11 15:37:02 +01:00
Robert Field
d3d1da337a
8016281: The SAM method should be passed to the metafactory as a MethodType not a MethodHandle
...
8020010: Move lambda bridge creation from metafactory and VM to compiler
Langtools/javac component of the bridge support and MethodType vs. MethodHandle changes.
Reviewed-by: jjg, vromero, briangoetz, forax
2013-07-11 14:07:39 +01:00
Maurizio Cimadamore
28b5759093
8016059: Cannot compile following lambda
...
8016060: Lambda isn't compiled with return statement
Spurious error triggered during unnecessary recovery round
Reviewed-by: jjg, vromero
2013-07-05 11:03:04 +01:00
Maurizio Cimadamore
86f630b63e
8019480: Javac crashes when method is called on a type-variable receiver from lambda expression
...
Logic for shortcircuiting speculative attribution doesn't handle type-variable receivers
Reviewed-by: jjg, vromero
2013-07-05 11:02:17 +01:00
Maurizio Cimadamore
7e6f7dcca5
8017618: NullPointerException in RichDiagnosticFormatter for bad input program
...
RDF crashes when diagnostic contains type 'void'
Reviewed-by: jjg, vromero
2013-07-05 11:00:19 +01:00
Eric McCorkle
9b1ec513d5
8013357: javac accepts erroneous binary comparison operations
...
Javac does not report type errors on illegal Object == primitive comparisons
Reviewed-by: abuckley, mcimadamore
2013-06-27 17:45:56 -04:00
Chris Hegarty
700804c6f2
8017045: anti-delta fix for 8013789
...
Reviewed-by: alanb
2013-06-19 11:48:05 +01:00
Maurizio Cimadamore
1839512a15
8013789: Compiler should emit bridges in interfaces
...
Paired with 8015402: Lambda metafactory should not attempt to determine bridge methods
Reviewed-by: vromero
2013-06-17 20:29:31 -07:00
Maurizio Cimadamore
80407ef47d
8013576: Add stat support to LambdaToMethod
...
LambdaToMethod should emit info to help diagnose/test lambda metafactory problems
Reviewed-by: jjg, vromero
2013-06-10 15:57:32 +01:00
Maurizio Cimadamore
459b2cba93
8015648: Duplicate variable in lambda causes javac crash
...
Missing flag in synthetic lambda blog is causing duplicates symbol to go undetected
Reviewed-by: jjg, vromero
2013-06-06 15:37:23 +01:00
Maurizio Cimadamore
abaf1a5c51
8015432: javac crashes with stack overflow when method called recursively from nested generic call
...
Check.checkMethod should only be called after inference has completed
Reviewed-by: jjg, vromero
2013-06-06 15:35:05 +01:00
Maurizio Cimadamore
07baf8072a
8008627: Compiler mishandles three-way return-type-substitutability
...
Compiler should not enforce an order in how ambiguous methods should be resolved
Reviewed-by: jjg, vromero
2013-06-06 15:33:40 +01:00
Maurizio Cimadamore
1c6a680e66
8008160: Five lambda TargetType tests have @ignore
...
Remove @ignore flags from tests that now pass
Reviewed-by: jjg
2013-06-04 11:31:12 +01:00
Maurizio Cimadamore
d176f2abdf
8014494: javac crashes when varargs element of a method reference is inferred from the context
...
Varargs element is not refreshed after type-inference
Reviewed-by: jjg, vromero
2013-05-24 15:27:27 +01:00
Vicente Romero
6a02cd46e0
8005207: test has 2 @bug tags
...
Reviewed-by: mcimadamore
2013-05-21 13:50:56 +01:00
Robert Field
495e78ce52
8010006: NPE in javac with interface super in lambda
...
Reviewed-by: mcimadamore
2013-05-15 06:53:01 -07:00
Maurizio Cimadamore
4b1aa379e5
8013222: Javac issues spurious raw type warnings when lambda has implicit parameter types
...
Bad warnings and position for lambda inferred parameter types
Reviewed-by: jjg, vromero
2013-05-15 14:03:09 +01:00
Maurizio Cimadamore
fc9e870275
8012685: Spurious raw types warning when using unbound method references
...
Spurious raw type warning when unbound method reference qualifier parameter types are inferred from target
Reviewed-by: jjg, vromero
2013-05-15 14:02:37 +01:00
Maurizio Cimadamore
ec458693f7
8012003: Method diagnostics resolution need to be simplified in some cases
...
Unfold method resolution diagnostics when they mention errors in poly expressions
Reviewed-by: jjg, vromero
2013-05-15 14:00:31 +01:00
Robert Field
c51505263f
8012556: Implement lambda methods on interfaces as static
...
8006140: Javac NPE compiling Lambda expression on initialization expression of static field in interface
Lambdas occurring in static contexts or those not needing instance information should be generated into static methods. This has long been the case for classes. However, as a work-around to the lack of support for statics on interfaces, interface lambda methods have been generated into default methods. For lambdas in interface static contexts (fields and static methods) this causes an NPE in javac because there is no 'this'. MethodHandles now support static methods on interfaces. This changeset allows lambda methods to be generated as static interface methods. An existing bug in Hotspot (8013875) is exposed in a test when the "-esa" flag is used. This test and another test that already exposed this bug have been marked with @ignore.
Reviewed-by: mcimadamore
2013-05-14 11:11:09 -07:00
Robert Field
136b4bc9b2
8014023: When a method reference to a local class constructor is contained in a method whose number of parameters matches the number of constructor parameters compilation fails
...
Reviewed-by: mcimadamore
2013-05-07 06:39:34 -07:00
Jonathan Gibbons
155bd74411
8012728: Normalize @ignore comments on langtools tests
...
Reviewed-by: vromero, mcimadamore
2013-05-03 09:56:56 -07:00
Robert Field
0ab1bb68cc
8011591: BootstrapMethodError when capturing constructor ref to local classes
...
Reviewed-by: mcimadamore
2013-05-01 08:46:04 -07:00
Maurizio Cimadamore
8b680bdde2
8011392: Missing checkcast when casting to intersection type
...
Javac should emit a checkcast for each additional target type specified in an intersection type cast
Reviewed-by: jjg
2013-04-15 14:17:30 +01:00
Maurizio Cimadamore
8f2d47cf79
8011028: lang/INFR/infr001/infr00101md/infr00101md.java fails to compile after switch to JDK8-b82
...
Fix bug in Types.removeWildcards
Reviewed-by: jjg
2013-04-15 14:16:05 +01:00
Maurizio Cimadamore
e59fd44a73
8011376: Spurious checked exception errors in nested method call
...
Fallback attribution logic doesn't work properly when lambda throws checked exceptions
Reviewed-by: jjg
2013-04-15 14:15:07 +01:00
Maurizio Cimadamore
2b94dbb504
8011377: Javac crashes when multiple lambdas are defined in an array
...
Wrong attribution environment used by DeferredAttr
Reviewed-by: jjg
2013-04-15 14:12:17 +01:00
Maurizio Cimadamore
da9dd76b20
8010822: Intersection type cast for functional expressions does not follow spec EDR
...
Remove support for marker interfaces; redefine intersection type casts to be order-independent
Reviewed-by: jjg
2013-04-08 15:59:29 +01:00
Maurizio Cimadamore
ea55015155
8009131: Overload: javac should discard methods that lead to errors in lambdas with implicit parameter types
...
Lambdas that have errors in their bodies should make enclosing overload resolution fail
Reviewed-by: jjg
2013-04-08 15:57:10 +01:00
Maurizio Cimadamore
b4b6e4f82e
8010404: Lambda debugging: redundant LineNumberTable entry for lambda capture
...
Ignore indy entries in LineNumberTable
Reviewed-by: jjg
2013-04-08 15:53:08 +01:00
Maurizio Cimadamore
2b66afe14d
8010303: Graph inference: missing incorporation step causes spurious inference error
...
Multiple equality constraints on inference vars are not used to generate new inference constraints
Reviewed-by: jjg
2013-03-22 12:43:09 +00:00
Maurizio Cimadamore
710a687c15
8009820: AssertionError when compiling java code with two identical static imports
...
Speculative attribution is carried out twice with same method symbol in case of static imports
Reviewed-by: jjg
2013-03-22 12:41:13 +00:00
Maurizio Cimadamore
cec722fe8f
8010101: Intersection type cast issues redundant unchecked warning
...
Code for checking intersection type cast is incorrectly swapping operands, leading to spurious warnings
Reviewed-by: jjg
2013-03-22 12:39:34 +00:00
Maurizio Cimadamore
2454c8c5ae
8009649: Lambda back-end should generate invokespecial for method handles referring to private instance methods
...
Private lambda methods should be accessed through invokespecial
Reviewed-by: jjg
2013-03-22 12:38:12 +00:00
Robert Field
46e9ef69a7
8010010: NPE generating serializedLambdaName for nested lambda
...
Reviewed-by: mcimadamore
2013-03-14 22:54:17 -07:00
Maurizio Cimadamore
22e2c128a2
8009545: Graph inference: dependencies between inference variables should be set during incorporation
...
Move all transitivity checks into the incorporation round
Reviewed-by: jjg
2013-03-12 16:02:43 +00:00
Maurizio Cimadamore
69ee819808
8008540: Constructor reference to non-reifiable array should be rejected
...
8008539: Spurious error when constructor reference mention an interface type
8008538: Constructor reference accepts wildcard parameterized types
Overhaul of Check.checkConstructorRefType
Reviewed-by: jjg
2013-03-12 16:02:13 +00:00
Robert Field
41447ec765
8009742: Bad lambda name for lambda in a static initializer or ctor
...
Reviewed-by: mcimadamore
2013-03-11 10:02:55 -07:00
Robert Field
867e1720c2
8009582: Method reference generic constructor gives: IllegalArgumentException: Invalid lambda deserialization
...
Reviewed-by: mcimadamore
2013-03-07 08:26:13 -08:00
Maurizio Cimadamore
c9bae7b335
8009299: Javac crashes when compiling method reference to static interface method
...
Assertion in Check.checMethod is too strict
Reviewed-by: jjg
2013-03-06 15:29:30 +00:00
Maurizio Cimadamore
e788a0e536
8009129: Illegal access error when calling method reference
...
Javac generates method handle referencing non public type
Reviewed-by: jjg, rfield
2013-03-05 14:19:49 +00:00
Maurizio Cimadamore
7a28d6291d
8009154: Missing cast in method reference bridge leads to NoSuchMethodError
...
Missing cast in generated method reference bridge
Reviewed-by: rfield, jjg
2013-03-05 14:16:07 +00:00
Maurizio Cimadamore
3cbe22f256
8009227: Certain diagnostics should not be deferred
...
Add new diagnostic flag to mark non deferrable diagnostics
Reviewed-by: jjg
2013-03-05 14:12:07 +00:00
Maurizio Cimadamore
d0a0df54ed
8004962: Code generation crash with lambda and local classes
...
Translation info should be propagated from LambdaToMethod to Lower
Reviewed-by: jjg, rfield
2013-03-05 14:04:57 +00:00
Maurizio Cimadamore
f932d844c1
8008537: Missing method reference lookup error when unbound search finds a static method
...
Static-ness check should be applied after member reference resolution
Reviewed-by: jjg
2013-02-28 14:05:52 +00:00
Maurizio Cimadamore
85067f7869
8008813: Structural most specific fails when method reference is passed to overloaded method
...
Bad logic for checking most specific method reference type
Reviewed-by: jjg
2013-02-28 14:05:44 +00:00
Maurizio Cimadamore
9c01455eb6
8008723: Graph Inference: bad graph calculation leads to assertion error
...
Dependencies are not propagated correctly through merged nodes during inference graph initialization
Reviewed-by: jjg
2013-02-28 14:00:52 +00:00
Maurizio Cimadamore
7776fdebe7
8008708: Regression: separate compilation causes crash in wildcards inference logic
...
Invalid use of WildcardType.bound in Types.removeWildcards
Reviewed-by: jjg
2013-02-22 18:19:51 +00:00
Sonali Goel
96495bc664
8008337: Write test to check for compiler error when static method in interface is called via super()
...
Reviewed-by: mcimadamore
2013-02-22 13:31:35 +00:00
