https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65322
Bug ID: 65322
Summary: Narrowing conversion
Product: gcc
Version: 4.8.3
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: wolfgang.roe...@gi-de.com
Hi,
I would like to post a bug report for the GNU C/C++ compiler 4.8.3.
We use the compiler to generate code for a PowerPC processor.
Invokation line for the GNU C++ compiler:
ccppc -c -x c++ -std=c++11 -Wall -Werror -g -mcpu=8540 -meabi
-ftls-model=local-exec -msdata=sysv -fno-common -mspe -mabi=spe
-mfloat-gprs=double -mbig -mmultiple -mno-string -misel -mstrict-align
-fverbose-asm -fno-exceptions -fno-rtti -fgcse-sm -fno-section-anchors
-ftemplate-backtrace-limit=20 -G 8 -O3
-I<some include paths>
-D<some #define's>
X.CPP -oX.O
// file X.CPP
#include "atomic"
struct S
{
explicit S (bool b = true)
: m_counter{ b ? 1u : 0u }
{}
std::atomic<unsigned short> m_counter;
};
S x;
The compiler rejects this programm with the following message:
x.CPP: In constructor 'S::S(bool)':
x.CPP:6:30: error: narrowing conversion of '(b ? 1u : 0u)' from 'unsigned int'
to 'std::atomic<short unsigned int>::__integral_type
{aka short unsigned int}' inside { } [-Werror=narrowing]
: m_counter{ b ? 1u : 0u }
I think this is not standard conforming. See C++11 standard, 8.5.4/7:
"A narrowing conversion is an implicit conversion ... from an integer type or
unscoped enumeration type to an integer type that cannot represent all the
values of the original type, except where the source is a constant expression
and the actual value after conversion will fit into the target type and will
produce the original value when converted back to the original type."
Kind regards
W. Roehrl
