obtained gcc-4.6.4.tar.bz2 from upstream website;upstream

verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.

1 files changed, 76 insertions, 0 deletions

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/foldconst-3.c b/gcc/testsuite/gcc.dg/tree-ssa/foldconst-3.c
new file mode 100644
index 000000000..613236207
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/foldconst-3.c
@@ -0,0 +1,76 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+typedef const union tree_node *const_tree;
+typedef struct
+{
+}
+double_int;
+double_int double_int_zext (double_int, unsigned);
+enum tree_code
+{ ERROR_MARK, IDENTIFIER_NODE, TREE_LIST, BLOCK, ENUMERAL_TYPE, BOOLEAN_TYPE,
+    INTEGER_TYPE, ARRAY_TYPE, INTEGER_CST, VAR_DECL, PARM_DECL, RESULT_DECL,
+  };
+enum tree_code_class
+{ tcc_exceptional, tcc_constant, tcc_type, tcc_declaration, tcc_reference, };
+struct tree_base
+{
+  __extension__ enum tree_code code:16;
+  unsigned unsigned_flag:1;
+};
+struct tree_type
+{
+  unsigned int precision:10;
+  union tree_type_symtab
+  {
+  } symtab;
+};
+union tree_node
+{
+  struct tree_base base;
+  struct tree_type type;
+};
+const enum tree_code_class tree_code_type[] =
+{ tcc_exceptional, 1, 0, 0, 0, 0, 2, };
+
+int_fits_type_p (const_tree c, const_tree type)
+{
+  double_int dc, dd;
+  {
+    if (((enum tree_code) (type)->base.code) == INTEGER_TYPE && ((
+								   {
+								   __typeof
+								   (type) __t
+								   = (type);
+								   if
+								   (tree_code_type
+								    [(int)
+								     (((enum
+									tree_code)
+								       (__t)->
+								       base.
+								       code))]
+								    !=
+								    (tcc_type))
+								   tree_class_check_failed
+								   (__t,
+								    __FUNCTION__);
+								   __t;})->
+								 base.
+								 unsigned_flag))
+      dd = double_int_zext (dd, ((
+				   {
+				   __typeof (type) __t = (type);
+				   if (tree_code_type
+				       [(int)
+					(((enum tree_code) (__t)->base.
+					  code))] !=
+				       (tcc_type))
+				   tree_class_check_failed (__t,
+							    __FUNCTION__);
+				   __t;}
+				 )->type.precision));
+}
+}
+/* The switch should be switch converted and later constant propagated.  */
+/* { dg-final { scan-tree-dump-not "tree_code_type" "optimized"} } */
+/* { dg-final { cleanup-tree-dump "optimized" } } */