diff options
Diffstat (limited to 'lang/spark/files/patch-gnat2why_smissing.c')
| -rw-r--r-- | lang/spark/files/patch-gnat2why_smissing.c | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/lang/spark/files/patch-gnat2why_smissing.c b/lang/spark/files/patch-gnat2why_smissing.c new file mode 100644 index 000000000000..16393dcc8ebc --- /dev/null +++ b/lang/spark/files/patch-gnat2why_smissing.c @@ -0,0 +1,18 @@ +--- gnat2why/smissing.c.orig 2014-04-10 15:20:38 UTC ++++ gnat2why/smissing.c +@@ -32,6 +32,15 @@ + allocation strategy for large objects in certain cases). */ + int flag_stack_check = 0; + ++/* Controls the balance between GNAT encodings and standard DWARF to ++ emit in the debug information. Useful for DWARF debugging information ++ generation only so not used in SPARK2014 */ ++int gnat_encodings = 0; ++ ++/* controlled by -fcompare-debug option on gcc, hardcode to 0 based on ++ comment above */ ++int flag_compare_debug = 0; ++ + /* Originally defined in GCC's toplev.c. */ + int optimize = 0; + int optimize_size = 0; |