mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-02-27 16:26:02 +08:00
Code Issues Packages Projects Releases Wiki Activity

c++: -Wmissing-field-initializers in unevaluated ctx [PR98620]

Browse Source 
This PR wants us not to warn about missing field initializers when
the code in question takes places in decltype and similar.  Fixed
thus.

gcc/cp/ChangeLog:

	PR c++/98620
	* typeck2.c (process_init_constructor_record): Don't emit
	-Wmissing-field-initializers warnings in unevaluated contexts.

gcc/testsuite/ChangeLog:

	PR c++/98620
	* g++.dg/warn/Wmissing-field-initializers-2.C: New test.
This commit is contained in:
Marek Polacek 2021-01-11 11:44:36 -05:00
parent 240f0a490d
commit 814299a9d4
2 changed files with 46 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/cp/typeck2.c
View File

@ -1563,6 +1563,7 @@ process_init_constructor_record (tree type, tree init, int nested, int flags,
/* Warn when some struct elements are implicitly initialized. */
if ((complain & tf_warning)
&& !cp_unevaluated_operand
&& !EMPTY_CONSTRUCTOR_P (init))
warning (OPT_Wmissing_field_initializers,
"missing initializer for member %qD", field);
@ -1593,6 +1594,7 @@ process_init_constructor_record (tree type, tree init, int nested, int flags,
/* Warn when some struct elements are implicitly initialized
to zero. */
if ((complain & tf_warning)
&& !cp_unevaluated_operand
&& !EMPTY_CONSTRUCTOR_P (init))
warning (OPT_Wmissing_field_initializers,
"missing initializer for member %qD", field);

44
gcc/testsuite/g++.dg/warn/Wmissing-field-initializers-2.C Normal file
View File

@ -0,0 +1,44 @@
// PR c++/98620
// { dg-do compile { target c++11 } }
namespace std {
template<typename T>
T&& declval() noexcept;
template<bool B>
struct bool_constant {
static constexpr bool value = B;
using type = bool_constant;
};
using true_type = bool_constant<true>;
using false_type = bool_constant<false>;
};
template <typename T>
struct TmpArray
{
T arr[1];
};
template <typename Src, typename Dst, typename = void>
struct is_non_narrowing_conversion : std::false_type
{};
template <typename Src, typename Dst>
struct is_non_narrowing_conversion<
Src, Dst,
decltype(void(TmpArray<Dst>{{ std::declval<Src>() }})) // { dg-bogus "missing initializer" }
> : std::true_type
{};
struct mystruct
{
int a;
void * b;
};
void test_nok()
{
is_non_narrowing_conversion<int&, mystruct>::type v;
(void) v;
}