1  /* { dg-do compile } */
       2  /* { dg-options "-fgimple" } */
       3  
       4  typedef char ref_all_char __attribute__((may_alias));
       5  char a[7];
       6  __GIMPLE void f()
       7  {
       8    int _1;
       9    /* string literals inside __MEM need their address taken.  */
      10    __MEM <char[7]> ((ref_all_char *)&a)
      11      = __MEM <char[7]> (_Literal (char *) &"654321");
      12    /* but plain assignment also works.  */
      13    __MEM <char[7]> ((ref_all_char *)&a) = "654321";
      14    /* also punning with int.  */
      15    _1 = __MEM <int> (_Literal (char *) &"654321");
      16    __MEM <int> ((ref_all_char *)&a) = _1;
      17    return;
      18  }