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

re PR tree-optimization/54684 (bootstrap broken with --disable-checking)

Browse source 
2012-09-24  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/54684
	* tree-ssa-ccp.c (optimize_unreachable): Properly update stmts.

	* g++.dg/torture/pr54684.C: New testcase.

From-SVN: r191667
This commit is contained in:
Richard Guenther 2012-09-24 14:14:18 +00:00 • committed by Richard Biener
parent f2167d6813
commit bf3d19285c
4 changed files with 73 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gcc/ChangeLog
View file

@ -1,3 +1,8 @@
2012-09-24 Richard Guenther <rguenther@suse.de>
PR tree-optimization/54684
* tree-ssa-ccp.c (optimize_unreachable): Properly update stmts.
2012-09-24 Marc Glisse <marc.glisse@inria.fr>
* tree-ssa-forwprop.c: Include tree-ssa-propagate.h.

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2012-09-24 Richard Guenther <rguenther@suse.de>
PR tree-optimization/54684
* g++.dg/torture/pr54684.C: New testcase.
2012-09-24 Marc Glisse <marc.glisse@inria.fr>
* gcc.dg/tree-ssa/forwprop-23.c: New testcase.

62
gcc/testsuite/g++.dg/torture/pr54684.C Normal file
View file

@ -0,0 +1,62 @@
// { dg-do compile }
typedef union tree_node *tree;
typedef union gimple_statement_d *gimple;
struct vec_prefix { unsigned num_; };
template<typename T> struct vec_t {
unsigned length (void) const;
T &operator[] (unsigned);
vec_prefix prefix_;
T vec_[1];
};
template<typename T> inline unsigned vec_t<T>::length (void) const {
return prefix_.num_;
}
template<typename T> T & vec_t<T>::operator[] (unsigned ix) {
((void)(__builtin_expect(!(ix < prefix_.num_), 0) ? __builtin_unreachable(), 0 : 0));
return vec_[ix];
}
enum tree_code { PARM_DECL };
struct tree_base {
enum tree_code code : 16;
unsigned default_def_flag : 1;
};
union tree_node {
struct tree_base base;
};
struct ipa_param_descriptor {
tree decl;
unsigned used : 1;
};
typedef struct ipa_param_descriptor ipa_param_descriptor_t;
struct ipa_node_params {
vec_t<ipa_param_descriptor_t> *descriptors;
};
static inline int ipa_get_param_count (struct ipa_node_params *info) {
return ((info->descriptors) ? (info->descriptors)->length () : 0);
}
static inline tree ipa_get_param (struct ipa_node_params *info, int i) {
return ((*(info->descriptors))[i]).decl;
}
static inline void ipa_set_param_used (struct ipa_node_params *info, int i, bool val) {
((*(info->descriptors))[i]).used = val;
}
int ipa_get_param_decl_index (struct ipa_node_params *info, tree ptree)
{
int i, count;
count = ipa_get_param_count (info);
for (i = 0; i < count; i++)
if (ipa_get_param (info, i) == ptree) return i;
return -1;
}
bool visit_ref_for_mod_analysis (gimple stmt __attribute__ ((__unused__)),
tree op, void *data)
{
struct ipa_node_params *info = (struct ipa_node_params *) data;
if (op && ((enum tree_code) (op)->base.code) == PARM_DECL)
{
int index = ipa_get_param_decl_index (info, op);
((void)(__builtin_expect(!(index >= 0), 0) ? __builtin_unreachable(), 0 : 0));
ipa_set_param_used (info, index, true);
}
}

1
gcc/tree-ssa-ccp.c
View file

@ -2355,6 +2355,7 @@ optimize_unreachable (gimple_stmt_iterator i)
gimple_cond_make_true (stmt);
else
gcc_unreachable ();
update_stmt (stmt);
}
else
{