typetools / typetools/checker-framework
Nullness Checker: support Q.isEmpty - Q.poll logic
Open
Nobody has claimed this yet.
enhancement
- Dominant language
- Java
- Stars
- 1.1k
- Forks
- 440
- Avg merge
- 1d 12h
- Merged PRs (30d)
- 134
Description
What steps will reproduce the problem?
1. Use the attached code.
2. javac -processor org.checkerframework.checker.nullness.NullnessChecker
-proc:only XX.java
What is the expected output? What do you see instead?
Should accept the code - but instead gives this error (which is wrong).
XX.java:41: error: [contracts.conditional.postcondition.not.satisfied] the
conditional postcondition about 'this.popCheapest()' at this return statement
is not satisfied
return _pq.isEmpty();
^
1 error
What version of the product are you using? On what operating system?
1.8.10 / OSX
Please provide any additional information below.
Original issue reported on code.google.com by rlen...@gmail.com on 12 Feb 2015 at 12:20
Attachments:
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the attached XX.java and reproduce the diagnostic using javac with org.checkerframework.checker.nullness.NullnessChecker and -proc:only. Trace the Q.isEmpty/Q.poll logic related to the conditional postcondition; done means the sample is accepted without the contracts.conditional.postcondition.not.satisfied error.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- java
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100