annotate gcc/testsuite/g++.dg/torture/pr54684.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // { dg-do compile }
kono
parents:
diff changeset
2 // { dg-options "-fno-short-enums" }
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 typedef union tree_node *tree;
kono
parents:
diff changeset
5 typedef union gimple_statement_d *gimple;
kono
parents:
diff changeset
6 struct vec_prefix { unsigned num_; };
kono
parents:
diff changeset
7 template<typename T> struct vec_t {
kono
parents:
diff changeset
8 unsigned length (void) const;
kono
parents:
diff changeset
9 T &operator[] (unsigned);
kono
parents:
diff changeset
10 vec_prefix prefix_;
kono
parents:
diff changeset
11 T vec_[1];
kono
parents:
diff changeset
12 };
kono
parents:
diff changeset
13 template<typename T> inline unsigned vec_t<T>::length (void) const {
kono
parents:
diff changeset
14 return prefix_.num_;
kono
parents:
diff changeset
15 }
kono
parents:
diff changeset
16 template<typename T> T & vec_t<T>::operator[] (unsigned ix) {
kono
parents:
diff changeset
17 ((void)(__builtin_expect(!(ix < prefix_.num_), 0) ? __builtin_unreachable(), 0 : 0));
kono
parents:
diff changeset
18 return vec_[ix];
kono
parents:
diff changeset
19 }
kono
parents:
diff changeset
20 enum tree_code { PARM_DECL };
kono
parents:
diff changeset
21 struct tree_base {
kono
parents:
diff changeset
22 enum tree_code code : 16;
kono
parents:
diff changeset
23 unsigned default_def_flag : 1;
kono
parents:
diff changeset
24 };
kono
parents:
diff changeset
25 union tree_node {
kono
parents:
diff changeset
26 struct tree_base base;
kono
parents:
diff changeset
27 };
kono
parents:
diff changeset
28 struct ipa_param_descriptor {
kono
parents:
diff changeset
29 tree decl;
kono
parents:
diff changeset
30 unsigned used : 1;
kono
parents:
diff changeset
31 };
kono
parents:
diff changeset
32 typedef struct ipa_param_descriptor ipa_param_descriptor_t;
kono
parents:
diff changeset
33 struct ipa_node_params {
kono
parents:
diff changeset
34 vec_t<ipa_param_descriptor_t> *descriptors;
kono
parents:
diff changeset
35 };
kono
parents:
diff changeset
36 static inline int ipa_get_param_count (struct ipa_node_params *info) {
kono
parents:
diff changeset
37 return ((info->descriptors) ? (info->descriptors)->length () : 0);
kono
parents:
diff changeset
38 }
kono
parents:
diff changeset
39 static inline tree ipa_get_param (struct ipa_node_params *info, int i) {
kono
parents:
diff changeset
40 return ((*(info->descriptors))[i]).decl;
kono
parents:
diff changeset
41 }
kono
parents:
diff changeset
42 static inline void ipa_set_param_used (struct ipa_node_params *info, int i, bool val) {
kono
parents:
diff changeset
43 ((*(info->descriptors))[i]).used = val;
kono
parents:
diff changeset
44 }
kono
parents:
diff changeset
45 int ipa_get_param_decl_index (struct ipa_node_params *info, tree ptree)
kono
parents:
diff changeset
46 {
kono
parents:
diff changeset
47 int i, count;
kono
parents:
diff changeset
48 count = ipa_get_param_count (info);
kono
parents:
diff changeset
49 for (i = 0; i < count; i++)
kono
parents:
diff changeset
50 if (ipa_get_param (info, i) == ptree) return i;
kono
parents:
diff changeset
51 return -1;
kono
parents:
diff changeset
52 }
kono
parents:
diff changeset
53 bool visit_ref_for_mod_analysis (gimple stmt __attribute__ ((__unused__)),
kono
parents:
diff changeset
54 tree op, void *data)
kono
parents:
diff changeset
55 {
kono
parents:
diff changeset
56 struct ipa_node_params *info = (struct ipa_node_params *) data;
kono
parents:
diff changeset
57 if (op && ((enum tree_code) (op)->base.code) == PARM_DECL)
kono
parents:
diff changeset
58 {
kono
parents:
diff changeset
59 int index = ipa_get_param_decl_index (info, op);
kono
parents:
diff changeset
60 ((void)(__builtin_expect(!(index >= 0), 0) ? __builtin_unreachable(), 0 : 0));
kono
parents:
diff changeset
61 ipa_set_param_used (info, index, true);
kono
parents:
diff changeset
62 }
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
63 } // { dg-warning "control reaches end of non-void function" }