diff --git a/substratevm/CHANGELOG.md b/substratevm/CHANGELOG.md index 1f747b21cf83..6c484160d141 100644 --- a/substratevm/CHANGELOG.md +++ b/substratevm/CHANGELOG.md @@ -2,6 +2,9 @@ This changelog summarizes major changes to GraalVM Native Image. +## GraalVM for JDK 25 +* (GR-58668) Enabled [Whole-Program Sparse Conditional Constant Propagation (WP-SCCP)](https://github.com/oracle/graal/pull/9821) by default, improving the precision of points-to analysis in Native Image. This optimization enhances static analysis accuracy and scalability, potentially reducing the size of the final native binary. + ## GraalVM for JDK 24 (Internal Version 24.2.0) * (GR-59717) Added `DuringSetupAccess.registerObjectReachabilityHandler` to allow registering a callback that is executed when an object of a specified type is marked as reachable during heap scanning. * (GR-55708) (Alibaba contribution) Support for running premain methods of Java agents at runtime as an experimental feature. At build time, `-H:PremainClasses` is used to set the premain classes. diff --git a/substratevm/src/com.oracle.graal.pointsto/src/com/oracle/graal/pointsto/api/PointstoOptions.java b/substratevm/src/com.oracle.graal.pointsto/src/com/oracle/graal/pointsto/api/PointstoOptions.java index 1967e8aebbd4..0c8c0569a331 100644 --- a/substratevm/src/com.oracle.graal.pointsto/src/com/oracle/graal/pointsto/api/PointstoOptions.java +++ b/substratevm/src/com.oracle.graal.pointsto/src/com/oracle/graal/pointsto/api/PointstoOptions.java @@ -37,10 +37,10 @@ public class PointstoOptions { @Option(help = "Track primitive values using the infrastructure of points-to analysis.")// - public static final OptionKey TrackPrimitiveValues = new OptionKey<>(false); + public static final OptionKey TrackPrimitiveValues = new OptionKey<>(true); @Option(help = "Use predicates in points-to analysis.")// - public static final OptionKey UsePredicates = new OptionKey<>(false); + public static final OptionKey UsePredicates = new OptionKey<>(true); @Option(help = "Use experimental Reachability Analysis instead of points-to.")// public static final OptionKey UseExperimentalReachabilityAnalysis = new OptionKey<>(false);