diff options
| author | Geert Bosch <bosch@adacore.com> | 2008-07-31 12:27:20 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-07-31 12:27:20 +0200 |
| commit | b666e5681569d47b0d75b7bc5fecdcd513da4b88 (patch) | |
| tree | 1a6f7b4149003b503d7b9e36f8cf1dc1cd606d93 /gcc/ada/fe.h | |
| parent | b2c6b35f24ba203e027caa8e5206810d3d6ae265 (diff) | |
| download | gcc-b666e5681569d47b0d75b7bc5fecdcd513da4b88.zip gcc-b666e5681569d47b0d75b7bc5fecdcd513da4b88.tar.gz gcc-b666e5681569d47b0d75b7bc5fecdcd513da4b88.tar.bz2 | |
arit64.c: New file implementing __gnat_mulv64 signed integer multiplication with overflow...
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
From-SVN: r138384
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 2e21af5..e69f798 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; |