Add @DoesNotUnrefineReceiver("modifiability") annotations#8
Merged
Conversation
…r calls "weak" on "phantom" path Backport-of: 631d0e92f045b302ce24dbe54eb6a94767b09d14
Backport-of: 51b3d6bba29b256616cf00c0be7a7fe0f97621ab
Backport-of: 0f33a678d9c52681c0d3c8fc582a91e7ee5dfb15
…-aarch64 Backport-of: eda7394551b470e9dc547be93711bcceac45f303
Reviewed-by: phh Backport-of: 2f2f7cf0dddd82f11d6dfc4f8a5401ec1c5629dc
…long to run Backport-of: da4b7a8c56f56c6051d463bc34e51e35781fe1a8
… very long Reviewed-by: rschmelter Backport-of: 02a4ce23f8353a9dd6400f2dd44f9cc1649626d3
…001.cpp, 281: (waitedThreadCpuTime - waitThreadCpuTime) < (EXPECTED_ACCURACY * 1000000) Backport-of: f971ee5ea07e3e1c0efe447a416e7242f5e46a16
…ermittent OOME Reviewed-by: rschmelter Backport-of: 0842782b7ab9e57028fa527073c8f2523137f612
Reviewed-by: mbaesken Backport-of: a2e271969da479ef28340d3e712e37ca1df2674a
Backport-of: 635c4b96187ed282a1f58c38c5c04fb8331e119d
Co-authored-by: Michael Ernst <mernst@cs.washington.edu>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
4 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Merge with typetools/jdk#276