diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2006-09-29 06:52:04 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2006-09-29 06:52:04 +0000 |
| commit | b55e7f34bc21a482d35dc2a9eaf38a878e0afbe4 (patch) | |
| tree | d53b9b08a5977db3599ce6576e9b27bd13562c90 /gcc/ada/trans.c | |
| parent | 4f6c213142e5ce6f5ee17ef5d0f1cb85cd0ff573 (diff) | |
| download | gcc-b55e7f34bc21a482d35dc2a9eaf38a878e0afbe4.zip gcc-b55e7f34bc21a482d35dc2a9eaf38a878e0afbe4.tar.gz gcc-b55e7f34bc21a482d35dc2a9eaf38a878e0afbe4.tar.bz2 | |
decl.c (gnat_to_gnu_entity): Do not set "const" flag on "pure" Ada subprograms if SJLJ exceptions are used.
* decl.c (gnat_to_gnu_entity) <E_Procedure>: Do not set "const" flag
on "pure" Ada subprograms if SJLJ exceptions are used.
* trans.c (Handled_Sequence_Of_Statements_to_gnu): Set TREE_NO_WARNING
on the declaration node of JMPBUF_SAVE.
* utils.c (init_gigi_decls): Set DECL_IS_PURE on the declaration nodes
of Get_Jmpbuf_Address_Soft and Get_GNAT_Exception.
* utils2.c (build_call_0_expr): Do not set TREE_SIDE_EFFECTS.
From-SVN: r117299
Diffstat (limited to 'gcc/ada/trans.c')
| -rw-r--r-- | gcc/ada/trans.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/trans.c b/gcc/ada/trans.c index 7fecc6f..fe820bf 100644 --- a/gcc/ada/trans.c +++ b/gcc/ada/trans.c @@ -2167,6 +2167,11 @@ Handled_Sequence_Of_Statements_to_gnu (Node_Id gnat_node) build_call_0_expr (get_jmpbuf_decl), false, false, false, false, NULL, gnat_node); + /* The __builtin_setjmp receivers will immediately reinstall it. Now + because of the unstructured form of EH used by setjmp_longjmp, there + might be forward edges going to __builtin_setjmp receivers on which + it is uninitialized, although they will never be actually taken. */ + TREE_NO_WARNING (gnu_jmpsave_decl) = 1; gnu_jmpbuf_decl = create_var_decl (get_identifier ("JMP_BUF"), NULL_TREE, jmpbuf_type, NULL_TREE, false, false, false, false, |