search

lovubuntu / checker-framework

Automatically exported from code.google.com/p/checker-framework
0 stars 0 forks source link

Lambda expressions in CFGBuilder #332

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1. Process the attached java class with the nullness checker:
checker-framework-1.8.1/checker/bin/javac -processor 
org.checkerframework.checker.nullness.NullnessChecker LambdaAstToCfg.java

What is the expected output? What do you see instead?
Expected succes i.e. no nullness problems found.
Instead I receive the following error message:
unexpected Throwable (AssertionError) while processing LambdaAstToCfg.java; 
message: Lambda expressions not yet handled in AST to CFG translation.; invoke 
the compiler with -AprintErrorStack to see the stack trace.

See the attached errorStack.txt for the stacktrace.
See the attached verboseCompileOutput.txt for more details about the compile 
and processing process that I used.

What version of the product are you using? On what operating system?
* I'm using checkerframe v1.8.1 as downloaded from 
http://types.cs.washington.edu/checker-framework/current/checker-framework.zip
**  checker-framework-1.8.1/checker/bin/javac -version -processor 
org.checkerframework.checker.nullness.NullnessChecker LambdaAstToCfg.java gives 
javac 1.8.0-jsr308-1.8.1

* Operating system Ubuntu 14.04

Java versions installed:
* java-8-oracle (currently active)
  version details:
  java version "1.8.0_05"
  Java(TM) SE Runtime Environment (build 1.8.0_05-b13)
  Java HotSpot(TM) 64-Bit Server VM (build 25.5-b02, mixed mode)

* java-1.7.0-openjdk-amd64 (currently inactive)
  version details:
  java version "1.7.0_55"
  OpenJDK Runtime Environment (IcedTea 2.4.7) (7u55-2.4.7-1ubuntu1)
  OpenJDK 64-Bit Server VM (build 24.51-b03, mixed mode)

Please provide any additional information below.
The message appears in CFGBuilder line 1700 
(https://code.google.com/p/checker-framework/source/browse/checkers/src/checkers
/flow/cfg/CFGBuilder.java?spec=svn76b1374d786c3354f64a9e7400377560f35569a9&r=76b
1374d786c3354f64a9e7400377560f35569a9#1700)

Original issue reported on code.google.com by kaspervd...@gmail.com on 25 May 2014 at 10:11

Attachments:

GoogleCodeExporter commented 9 years ago 
Thanks for the report.
We've known about this limitation, but your bug report will cause us to 
prioritize it higher than it has been.

Original comment by michael.ernst@gmail.com on 26 May 2014 at 3:11

GoogleCodeExporter commented 9 years ago

Original comment by michael.ernst@gmail.com on 29 May 2014 at 4:05

GoogleCodeExporter commented 9 years ago 
David, is this fixed with your recent improvements to Java 8 features?

Original comment by wdi...@gmail.com on 14 Oct 2014 at 4:15

GoogleCodeExporter commented 9 years ago 
Yes, this should now be fixed. Resolving this issue.

Original comment by mcarthur...@gmail.com on 14 Oct 2014 at 5:12