RFR: 8359596: Behavior change when both -Xlint:options and -Xlint:-options flags are given [v2]

[Archie Cobbs]

On Tue, 24 Jun 2025 10:45:32 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> > Yeah, I think for now I'd prefer that. I believe each PR should be relatively standalone -- maybe we will go ahead and follow up with the other PR, but I'd prefer to avoid adding more stuff here which is really needed to support that other task.
> 
> Especially considering this is a fix that is also targeting 25 (now in rampdown mode), so there's extra motivations for keeping the fix as small as possible.

Good point. Should be fixed in f01f19dcb31.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/25840#issuecomment-3000527041