mirrors/gcc
0
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-12-24 11:35:31 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

re PR tree-optimization/23402 (error: statement makes a memory store, but has no V_MAY_DEFS nor V_MUST_DEFS)

Browse Source 
2005-08-16  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/23402
        * gcc.c-torture/compile/zero-strct-3.c: New test.
        * gcc.c-torture/compile/zero-strct-4.c: New test.

2005-08-16  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/23402
        * gimplify.c (zero_sized_type): New function.
        (gimplify_modify_expr_rhs): If we have a zero sized type,
        replace the statement with an empty statement.

From-SVN: r103191
This commit is contained in:
Andrew Pinski 2005-08-17 01:55:05 +00:00 committed by Andrew Pinski
parent e9e68ae334
commit d06526b797
5 changed files with 56 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2005-08-16 Andrew Pinski <pinskia@physics.uc.edu>
PR tree-opt/23402
* gimplify.c (zero_sized_type): New function.
(gimplify_modify_expr_rhs): If we have a zero sized type,
replace the statement with an empty statement.
2005-08-16 H.J. Lu <hongjiu.lu@intel.com>
* config/i386/crtfastmath.c (set_fast_math): Add "=m" for

17
gcc/gimplify.c
View File

@ -2533,6 +2533,17 @@ zero_sized_field_decl (tree fdecl)
return false;
}
/* Return true if TYPE is zero sized. */
static bool
zero_sized_type (tree type)
{
if (AGGREGATE_TYPE_P (type) && TYPE_SIZE (type)
&& integer_zerop (TYPE_SIZE (type)))
return true;
return false;
}
/* A subroutine of gimplify_init_constructor. Generate individual
MODIFY_EXPRs for a CONSTRUCTOR. OBJECT is the LHS against which the
assignments should happen. ELTS is the CONSTRUCTOR_ELTS of the
@ -2949,6 +2960,12 @@ gimplify_modify_expr_rhs (tree *expr_p, tree *from_p, tree *to_p, tree *pre_p,
tree *post_p, bool want_value)
{
enum gimplify_status ret = GS_OK;
tree type = TREE_TYPE (*from_p);
if (zero_sized_type (type))
{
*expr_p = NULL_TREE;
return GS_ALL_DONE;
}
while (ret != GS_UNHANDLED)
switch (TREE_CODE (*from_p))

6
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,9 @@
2005-08-16 Andrew Pinski <pinskia@physics.uc.edu>
PR tree-opt/23402
* gcc.c-torture/compile/zero-strct-3.c: New test.
* gcc.c-torture/compile/zero-strct-4.c: New test.
2005-08-16 Steven Bosscher <stevenb@suse.de>
PR target/23376

12
gcc/testsuite/gcc.c-torture/compile/zero-strct-3.c Normal file
View File

@ -0,0 +1,12 @@
typedef struct {} spinlock_t;
struct sk_buff_head {
int i;
spinlock_t lock;
};
struct sk_buff_head audit_skb_queue;
void audit_init(void)
{
struct sk_buff_head *list = &audit_skb_queue;
spinlock_t a = {};
audit_skb_queue.lock = a;
}

14
gcc/testsuite/gcc.c-torture/compile/zero-strct-4.c Normal file
View File

@ -0,0 +1,14 @@
typedef struct {} raw_spinlock_t;
typedef struct {
raw_spinlock_t raw_lock;
} spinlock_t;
struct sk_buff_head {
int i;
spinlock_t lock;
};
struct sk_buff_head audit_skb_queue;
void audit_init(void)
{
struct sk_buff_head *list = &audit_skb_queue;
audit_skb_queue.lock = (spinlock_t) { .raw_lock = { } };
}