Add compiler flags to support GNATStack analysis. (#30)

damaki · Oct 19, 2023 · ef7ca7c · ef7ca7c
1 parent 6e1aafc
commit ef7ca7c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/libkeccak.gpr b/libkeccak.gpr
@@ -129,6 +129,8 @@ project Libkeccak is
         Style_Checks_Switches &
         Contracts_Switches &
         ("-gnatw.X", -- Disable warnings for No_Exception_Propagation
+         "-fcallgraph-info=su,da", -- Generate data for GNATStack
+         "-fstack-usage",
          "-gnatQ");  -- Don't quit. Generate ALI and tree files even if illegalities
    end Compiler;