[multiple changes]

[gcc.git] / gcc / ada / opt.ads

diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads
index 496453457b021afac095ef7780c3da9f87af4e45..9b8cf0b43095fe8b041495eb2b8c6d1383eb5050 100644 (file)
--- a/gcc/ada/opt.ads
+++ b/gcc/ada/opt.ads
@@ -1061,6 +1061,11 @@ package Opt is
    --  Set by -fno-inline. Suppresses all inlining, both front end and back end
    --  regardless of any other switches that are set.
 
+   Suppress_Control_Flow_Optimizations : Boolean := False;
+   --  GNAT
+   --  Set by -fpreserve-control-flow. Suppresses control flow optimizations
+   --  that interfere with coverage analysis based on the object code.
+
    System_Extend_Pragma_Arg : Node_Id := Empty;
    --  GNAT
    --  Set non-empty if and only if a correct Extend_System pragma was present