[Bug c++/94342] GCC ignores attribute((section(...))) for static variables inside templates

[bikineev at google dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94342

--- Comment #6 from Anton <bikineev at google dot com> ---
I also don't understand why all the parts of a template instantiation need to
be kept in the same COMDAT group. Neither clang nor gcc does it:

template <typename T>                                                           
void Index(int i) {                                                             
  static int VAR1 = i;
  static int VAR2 = i;                                                         
                                                                               
                             }                                                  

template void Index<int>(int);
template void Index<float>(int);

This gives:

COMDAT group section [    1] `.group' [void Index<int>(int)] contains 2
sections:
   [Index]    Name
   [   14]   .text._Z5IndexIiEvi
   [   15]   .rela.text._Z5IndexIiEvi

COMDAT group section [    2] `.group' [void Index<float>(int)] contains 2
sections:
   [Index]    Name
   [   16]   .text._Z5IndexIfEvi
   [   17]   .rela.text._Z5IndexIfEvi

COMDAT group section [    3] `.group' [Index<int>(int)::VAR] contains 1
sections:
   [Index]    Name
   [   18]   .bss._ZZ5IndexIiEviE3VAR

COMDAT group section [    4] `.group' [guard variable for Index<int>(int)::VAR]
contains 1 sections:
   [Index]    Name
   [   19]   .bss._ZGVZ5IndexIiEviE3VAR

COMDAT group section [    5] `.group' [Index<int>(int)::VAR2] contains 1
sections:
   [Index]    Name
   [   20]   .bss._ZZ5IndexIiEviE4VAR2

COMDAT group section [    6] `.group' [guard variable for
Index<int>(int)::VAR2] contains 1 sections:
   [Index]    Name
   [   21]   .bss._ZGVZ5IndexIiEviE4VAR2

COMDAT group section [    7] `.group' [Index<float>(int)::VAR] contains 1
sections:
   [Index]    Name
   [   22]   .bss._ZZ5IndexIfEviE3VAR

COMDAT group section [    8] `.group' [guard variable for
Index<float>(int)::VAR] contains 1 sections:
   [Index]    Name
   [   23]   .bss._ZGVZ5IndexIfEviE3VAR

COMDAT group section [    9] `.group' [Index<float>(int)::VAR2] contains 1
sections:
   [Index]    Name
   [   24]   .bss._ZZ5IndexIfEviE4VAR2

COMDAT group section [   10] `.group' [guard variable for
Index<float>(int)::VAR2] contains 1 sections:
   [Index]    Name
   [   25]   .bss._ZGVZ5IndexIfEviE4VAR2


I might have misunderstood, but I think that COMDAT groups are orthogonal to
section naming.