diff options
| author | Jose Ruiz <ruiz@adacore.com> | 2005-06-16 10:38:39 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-06-16 10:38:39 +0200 |
| commit | a49c3e1607d7a9fd80d4899e68821e9ff8594015 (patch) | |
| tree | e582bd898c04036cc4635ef9aa0e7b401a21c7d0 /gcc/ada/utils2.c | |
| parent | 84f8ad69c8d065ce18acee11f7d091092ae0d907 (diff) | |
| download | gcc-a49c3e1607d7a9fd80d4899e68821e9ff8594015.zip gcc-a49c3e1607d7a9fd80d4899e68821e9ff8594015.tar.gz gcc-a49c3e1607d7a9fd80d4899e68821e9ff8594015.tar.bz2 | |
fe.h: Add entry for Opt.Exception_Locations_Suppressed so that gigi can determine...
2005-06-14 Jose Ruiz <ruiz@adacore.com>
* fe.h: Add entry for Opt.Exception_Locations_Suppressed so that gigi
can determine whether pragma Suppress_Exception_Locations is in effect.
* utils2.c (build_call_raise): Do not pass the file name to the
exception handler if pragma Suppress_Exception_Locations is in effect.
(build_allocator): Add and process arg IGNORE_INIT_TYPE.
From-SVN: r101037
Diffstat (limited to 'gcc/ada/utils2.c')
| -rw-r--r-- | gcc/ada/utils2.c | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/gcc/ada/utils2.c b/gcc/ada/utils2.c index ae56b42..3611264 100644 --- a/gcc/ada/utils2.c +++ b/gcc/ada/utils2.c @@ -1430,7 +1430,8 @@ tree build_call_raise (int msg) { tree fndecl = gnat_raise_decls[msg]; - const char *str = Debug_Flag_NN ? "" : ref_filename; + const char *str + = (Debug_Flag_NN || Exception_Locations_Suppressed) ? "" : ref_filename; int len = strlen (str) + 1; tree filename = build_string (len, str); @@ -1751,11 +1752,15 @@ build_call_alloc_dealloc (tree gnu_obj, tree gnu_size, unsigned align, initial value is INIT, if INIT is nonzero. Convert the expression to RESULT_TYPE, which must be some type of pointer. Return the tree. GNAT_PROC and GNAT_POOL optionally give the procedure to call and - the storage pool to use. */ + the storage pool to use. GNAT_NODE is used to provide an error + location for restriction violations messages. If IGNORE_INIT_TYPE is + true, ignore the type of INIT for the purpose of determining the size; + this will cause the maximum size to be allocated if TYPE is of + self-referential size. */ tree build_allocator (tree type, tree init, tree result_type, Entity_Id gnat_proc, - Entity_Id gnat_pool, Node_Id gnat_node) + Entity_Id gnat_pool, Node_Id gnat_node, bool ignore_init_type) { tree size = TYPE_SIZE_UNIT (type); tree result; @@ -1839,7 +1844,7 @@ build_allocator (tree type, tree init, tree result_type, Entity_Id gnat_proc, /* If we have an initializing expression, see if its size is simpler than the size from the type. */ - if (init && TYPE_SIZE_UNIT (TREE_TYPE (init)) + if (!ignore_init_type && init && TYPE_SIZE_UNIT (TREE_TYPE (init)) && (TREE_CODE (TYPE_SIZE_UNIT (TREE_TYPE (init))) == INTEGER_CST || CONTAINS_PLACEHOLDER_P (size))) size = TYPE_SIZE_UNIT (TREE_TYPE (init)); @@ -1850,7 +1855,7 @@ build_allocator (tree type, tree init, tree result_type, Entity_Id gnat_proc, the maximum size. */ if (CONTAINS_PLACEHOLDER_P (size)) { - if (init) + if (!ignore_init_type && init) size = substitute_placeholder_in_expr (size, init); else size = max_size (size, true); |