diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-07-31 10:27:20 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-07-31 10:27:20 +0000 |
| commit | deff3b133c305c3355537bfd9ef1cfe7739992f3 (patch) | |
| tree | 1a6f7b4149003b503d7b9e36f8cf1dc1cd606d93 /gcc/ada/fe.h | |
| parent | 8667b0b2357d15dc50af1025a72559a51c043243 (diff) | |
| download | ppe42-gcc-deff3b133c305c3355537bfd9ef1cfe7739992f3.tar.gz ppe42-gcc-deff3b133c305c3355537bfd9ef1cfe7739992f3.zip | |
2008-07-31 Geert Bosch <bosch@adacore.com>
* arit64.c:
New file implementing __gnat_mulv64 signed integer multiplication with
overflow checking
* fe.h (Backend_Overflow_Checks_On_Target): Define for use by Gigi
* gcc-interface/gigi.h:
(standard_types): Add ADT_mulv64_decl
(mulv64_decl): Define subprogram declaration for __gnat_mulv64
* gcc-interface/utils.c:
(init_gigi_decls): Add initialization of mulv64_decl
* gcc-interface/trans.c:
(build_unary_op_trapv): New function
(build_binary_op_trapv): New function
(gnat_to_gnu): Use the above functions instead of
build_{unary,binary}_op
* gcc-interface/Makefile.in
(LIBGNAT_SRCS): Add arit64.c
(LIBGNAT_OBJS): Add arit64.o
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138384 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/fe.h')
| -rw-r--r-- | gcc/ada/fe.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/fe.h b/gcc/ada/fe.h index 2e21af503de..e69f798db5d 100644 --- a/gcc/ada/fe.h +++ b/gcc/ada/fe.h @@ -219,8 +219,10 @@ extern void Set_Has_No_Elaboration_Code (Node_Id, Boolean); /* targparm: */ +#define Backend_Overflow_Checks_On_Target targparm__backend_overflow_checks_on_target #define Stack_Check_Probes_On_Target targparm__stack_check_probes_on_target #define Stack_Check_Limits_On_Target targparm__stack_check_limits_on_target +extern Boolean Backend_Overflow_Checks_On_Target; extern Boolean Stack_Check_Probes_On_Target; extern Boolean Stack_Check_Limits_On_Target; |
