Can we have a symbol_ref node of a declared symbol without having its flags set?

[Fariborz Jahanian]

I ran into a problem when chasing down an -mfix-and-continue (an  
apple specialty :) code-gen problem.

In a test case, ivopts creates a symbol_ref via a call to  
produce_memory_decl_rtl; as in:

     if (TREE_STATIC (obj) || DECL_EXTERNAL (obj))
       {
         const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME  
(obj));
         x = gen_rtx_SYMBOL_REF (Pmode, name);
       }
...

But it does not set the flags for this symbol. This causes code gen  
problem in certain cases ; such as in apple-ppc-darwin PIC generation  
code, which rely on these flags. An obvious fix come to mind is to  
set the flags when symbol_ref is created. Such as in this patch. But  
a more general question is should we always set the flags for  
symbol_ref whenever such a node is created for a declared symbol?


--- 2376,2404 ----
   static rtx
   produce_memory_decl_rtl (tree obj, int *regno)
   {
!   rtx x, ret;
     if (!obj)
       abort ();
     if (TREE_STATIC (obj) || DECL_EXTERNAL (obj))
       {
         const char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME  
(obj));
         x = gen_rtx_SYMBOL_REF (Pmode, name);
+       ret = gen_rtx_MEM (DECL_MODE (obj), x);
+       SET_DECL_RTL (obj, ret);
+       targetm.encode_section_info (obj, DECL_RTL (obj), true);
       }
     else
!     {
!       x = gen_raw_REG (Pmode, (*regno)++);
!       ret = gen_rtx_MEM (DECL_MODE (obj), x);
!     }

!   return ret;
   }

Thanks, fariborz (fjahanian@apple.com)