mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-27 23:04:50 +02:00
Merge
This commit is contained in:
commit
6f0a3e4a80
10 changed files with 75 additions and 160 deletions
|
@ -2502,10 +2502,6 @@ class CommandLineFlags {
|
|||
notproduct(bool, TraceSpilling, false, \
|
||||
"Trace spilling") \
|
||||
\
|
||||
develop(bool, DeutschShiffmanExceptions, true, \
|
||||
"Fast check to find exception handler for precisely typed " \
|
||||
"exceptions") \
|
||||
\
|
||||
product(bool, SplitIfBlocks, true, \
|
||||
"Clone compares and control flow through merge points to fold " \
|
||||
"some branches") \
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue