Strict mode defines a string literal of an inline function twice when it is cast to const signed char*

[thinkoid]

Issue Summary

When compiling in strict mode, multiple definitions of a string literal occur in the generated C code in an inline function, one for each C-style cast of it to const signed char* or const unsigned char* that is passed as a function argument. Every definition gets the same name, so gcc rejects the second one. If I also use the same literal without a cast, one more definition occurs, however many such uses there are. A valid program does not compile. The default mode and --g++ compile it.

Reproducing Source Code

void s (const signed char*);
inline void f () { s ((const signed char*) "x"); s ((const signed char*) "x"); }
void g () { f (); }

Command-line Options

eccp -A -c t.cpp

Type of Issue

[Back End] There is a problem with the generated C code.

Additional Details

eccp: diagnostics generated from compilation of t.int.c:
t.cpp:3:36: error: redefinition of ‘_ZZ1fvEs’
t.cpp:3:249: note: previous definition of ‘_ZZ1fvEs’ with type ‘char[2]’
eccp: end of diagnostics from compilation of t.int.c
eccp: gcc compilation of t.int.c returned an exit status of 1

The generated C:

extern  __attribute__((__weak__)) /* COMDAT group: _ZZ1fvEs */ char _ZZ1fvEs[2];
extern  __attribute__((__weak__)) /* COMDAT group: _ZZ1fvEs */ char _ZZ1fvEs[2];
 __attribute__((__weak__)) /* COMDAT group: _ZZ1fvEs */ char _ZZ1fvEs[2] = "x";
/*  COMDAT group: _ZZ1fvEs */ char _ZZ1fvEs[2] = "x";

The same with -a, -x --strict, --c++11 -A, --c++17 -A and --c++23 -A. -x, --c++11 -x and --g++ compile it. Seen at 773d310.

Reproducing (Standard) Configuration(s)

linux-gcc-debug, linux-gcc-release, linux-gcc-debuggable-release

Reproducing (Non-standard) Configuration

No response

I acknowledge that:

• I have checked open issues and existing discussions before filing this report.
• The reproducing source code that I have provided does not depend on headers that I have not included with my submission.
• I have reduced the reproducing source code to the best of my ability.
• I have selected at least one standard configuration or uploaded a non-standard configuration dump.
• I understand code shared via this form is NOT confidential.
• I have permission to share the reproducing source code and grant permission for the project to use the source code (or derivatives of the source code) to create tests.
• I agree that any tests created using the reproducing source code (or deriatives of it) will be licensed under project license unless I included a LICENSE.txt file in my .zip or .tar.gz upload. If I included a LICENSE.txt file, any tests created using the reproducing source code will be governed by the terms of the license I provided instead.