From: jakub Date: Tue, 14 Feb 2012 19:51:01 +0000 (+0000) Subject: PR c++/52247 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=aa6de25a397f040fb77ec5ea9d938aad4ce9fa47;p=thirdparty%2Fgcc.git PR c++/52247 * pt.c (tsubst_copy_asm_operands): For LABEL_DECL values call lookup_label on label's name and set TREE_USED. * g++.dg/template/asmgoto1.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@184229 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index c20077c6db0b..f7cafec320e0 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2012-02-14 Jakub Jelinek + + PR c++/52247 + * pt.c (tsubst_copy_asm_operands): For LABEL_DECL values call + lookup_label on label's name and set TREE_USED. + 2012-02-14 Jason Merrill PR c++/39055 diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index a0b2a0b0907f..c9cd953deccf 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -12612,8 +12612,17 @@ tsubst_copy_asm_operands (tree t, tree args, tsubst_flags_t complain, if (purpose) purpose = RECUR (purpose); value = TREE_VALUE (t); - if (value && TREE_CODE (value) != LABEL_DECL) - value = RECUR (value); + if (value) + { + if (TREE_CODE (value) != LABEL_DECL) + value = RECUR (value); + else + { + value = lookup_label (DECL_NAME (value)); + gcc_assert (TREE_CODE (value) == LABEL_DECL); + TREE_USED (value) = 1; + } + } chain = TREE_CHAIN (t); if (chain && chain != void_type_node) chain = RECUR (chain); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 67c927474697..d82d7d5c51fc 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-02-14 Jakub Jelinek + + PR c++/52247 + * g++.dg/template/asmgoto1.C: New test. + 2012-02-14 Ian Lance Taylor PR go/48501 diff --git a/gcc/testsuite/g++.dg/template/asmgoto1.C b/gcc/testsuite/g++.dg/template/asmgoto1.C new file mode 100644 index 000000000000..6a3cbcef4eeb --- /dev/null +++ b/gcc/testsuite/g++.dg/template/asmgoto1.C @@ -0,0 +1,18 @@ +// PR c++/52247 +// { dg-do compile } + +template +bool +bar () +{ + __asm goto ("" : : : : lab); + return true; +lab: + return false; +} + +bool +foo () +{ + return bar<0> (); +}