mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-21 11:34:38 +02:00
Merge
This commit is contained in:
commit
b48eddab1b
14 changed files with 1080 additions and 58 deletions
|
@ -3115,6 +3115,12 @@ public:
|
|||
"exceptions (0 means all)") \
|
||||
range(0, max_jint/2) \
|
||||
\
|
||||
develop(bool, TraceStackWalk, false, \
|
||||
"Trace stack walking") \
|
||||
\
|
||||
product(bool, MemberNameInStackFrame, true, \
|
||||
"Use MemberName in StackFrame") \
|
||||
\
|
||||
/* notice: the max range value here is max_jint, not max_intx */ \
|
||||
/* because of overflow issue */ \
|
||||
NOT_EMBEDDED(diagnostic(intx, GuaranteedSafepointInterval, 1000, \
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue