[gcc(refs/users/mikael/heads/refactor_descriptor_v08)] Renseignement dtype par défaut

[Mikael Morin]

https://gcc.gnu.org/g:f0297fdddc785a68ccd400feff7a27d245935ca3

commit f0297fdddc785a68ccd400feff7a27d245935ca3
Author: Mikael Morin <mikael@gcc.gnu.org>
Date:   Sun Aug 10 22:54:58 2025 +0200

    Renseignement dtype par défaut
    
    Revert "Correction PR100094"
    
    This reverts commit c0d877bc00edfd11cd0332c72cf0650e4ad8f948.
    
    Revert "Correction initialisation write_destination"
    
    This reverts commit 38bbc288025a34431268a17efee4231bff1a32d3.
    
    Revert "Non renseignement dtype par défaut"
    
    This reverts commit 8af77250f7e46d9913e6f2b44ac4bbac4c9fd1db.

Diff:
---
 gcc/fortran/trans-array.cc      | 6 ++----
 gcc/fortran/trans-descriptor.cc | 5 ++---
 2 files changed, 4 insertions(+), 7 deletions(-)

diff --git a/gcc/fortran/trans-array.cc b/gcc/fortran/trans-array.cc
index 26eaaf69c9a9..7e71e67a61ae 100644
--- a/gcc/fortran/trans-array.cc
+++ b/gcc/fortran/trans-array.cc
@@ -11875,12 +11875,10 @@ gfc_trans_deferred_array (gfc_symbol * sym, gfc_wrapped_block * block)
 
   /* NULLIFY the data pointer for non-saved allocatables, or for non-saved
      pointers when -fcheck=pointer is specified.  */
-  if (GFC_DESCRIPTOR_TYPE_P (type)
+  if (GFC_DESCRIPTOR_TYPE_P (type) && !sym->attr.save
       && (sym->attr.allocatable || sym->attr.pointer))
     {
-      if (flag_coarray == GFC_FCOARRAY_LIB
-	  && sym->attr.codimension
-	  && !sym->attr.save)
+      if (flag_coarray == GFC_FCOARRAY_LIB && sym->attr.codimension)
 	{
 	  /* Declare the variable static so its array descriptor stays present
 	     after leaving the scope.  It may still be accessed through another
diff --git a/gcc/fortran/trans-descriptor.cc b/gcc/fortran/trans-descriptor.cc
index 6dfff1a3b5fe..ac866343d074 100644
--- a/gcc/fortran/trans-descriptor.cc
+++ b/gcc/fortran/trans-descriptor.cc
@@ -847,9 +847,8 @@ gfc_init_descriptor_variable (stmtblock_t *block, gfc_symbol *sym, tree descr)
 {
   /* NULLIFY the data pointer for non-saved allocatables, or for non-saved
      pointers when -fcheck=pointer is specified.  */
-  if (!sym->attr.save
-      && (sym->attr.allocatable
-	  || (sym->attr.pointer && (gfc_option.rtcheck & GFC_RTCHECK_POINTER))))
+  if (sym->attr.allocatable
+      || (sym->attr.pointer && (gfc_option.rtcheck & GFC_RTCHECK_POINTER)))
     {
       gfc_conv_descriptor_data_set (block, descr, null_pointer_node);
       if (flag_coarray == GFC_FCOARRAY_LIB && sym->attr.codimension)