procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

C++: add type checking for static local vector variable in template

Browse source 
This patch moves verify_type_context from start_decl_1 to cp_finish_decl to
do more type checking such as static local vector variable in C++ template.

2021-08-06  wangpc  <pc.wang@linux.alibaba.com>

gcc/cp/ChangeLog

	* decl.c (start_decl_1): Move verify_type_context to ...
	(cp_finish_decl): ... to here.

gcc/testsuite/ChangeLog

	* g++.target/aarch64/sve/static-var-in-template.C: New test.
This commit is contained in:
wangpc 2021-09-18 13:53:09 +08:00 • committed by Jason Merrill
parent 624980241e
commit 56c24f18cc
2 changed files with 25 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
gcc/cp/decl.c
View file

@ -5772,14 +5772,6 @@ start_decl_1 (tree decl, bool initialized)
cp_apply_type_quals_to_decl (cp_type_quals (type), decl);
}
if (is_global_var (decl))
{
type_context_kind context = (DECL_THREAD_LOCAL_P (decl)
? TCTX_THREAD_STORAGE
: TCTX_STATIC_STORAGE);
verify_type_context (input_location, context, TREE_TYPE (decl));
}
if (initialized)
/* Is it valid for this decl to have an initializer at all? */
{
@ -7977,6 +7969,14 @@ cp_finish_decl (tree decl, tree init, bool init_const_expr_p,
&& DECL_INITIALIZED_IN_CLASS_P (decl))
check_static_variable_definition (decl, type);
if (!processing_template_decl && VAR_P (decl) && is_global_var (decl))
{
type_context_kind context = (DECL_THREAD_LOCAL_P (decl)
? TCTX_THREAD_STORAGE
: TCTX_STATIC_STORAGE);
verify_type_context (input_location, context, TREE_TYPE (decl));
}
if (init && TREE_CODE (decl) == FUNCTION_DECL)
{
tree clone;

17
gcc/testsuite/g++.target/aarch64/sve/static-var-in-template.C Normal file
View file

@ -0,0 +1,17 @@
/* { dg-do compile } */
#include <arm_sve.h>
template <int N>
void f()
{
static svbool_t pg = svwhilelt_b64(0, N);
}
int main(int argc, char **argv)
{
f<2>();
return 0;
}
/* { dg-error "SVE type 'svbool_t' does not have a fixed size" "" { target *-*-* } 0 } */