diff options
Diffstat (limited to 'gcc/fold-const.c')
| -rw-r--r-- | gcc/fold-const.c | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 73ebd76..cfd270c 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -8171,7 +8171,8 @@ pointer_may_wrap_p (tree base, tree offset, HOST_WIDE_INT bitpos) /* Return a positive integer when the symbol DECL is known to have a nonzero address, zero when it's known not to (e.g., it's a weak symbol), and a negative integer when the symbol is not yet in the - symbol table and so whether or not its address is zero is unknown. */ + symbol table and so whether or not its address is zero is unknown. + For function local objects always return positive integer. */ static int maybe_nonzero_address (tree decl) { @@ -8179,6 +8180,13 @@ maybe_nonzero_address (tree decl) if (struct symtab_node *symbol = symtab_node::get_create (decl)) return symbol->nonzero_address (); + /* Function local objects are never NULL. */ + if (DECL_P (decl) + && (DECL_CONTEXT (decl) + && TREE_CODE (DECL_CONTEXT (decl)) == FUNCTION_DECL + && auto_var_in_fn_p (decl, DECL_CONTEXT (decl)))) + return 1; + return -1; } @@ -13276,13 +13284,6 @@ tree_single_nonzero_warnv_p (tree t, bool *strict_overflow_p) if (nonzero_addr >= 0) return nonzero_addr; - /* Function local objects are never NULL. */ - if (DECL_P (base) - && (DECL_CONTEXT (base) - && TREE_CODE (DECL_CONTEXT (base)) == FUNCTION_DECL - && auto_var_in_fn_p (base, DECL_CONTEXT (base)))) - return true; - /* Constants are never weak. */ if (CONSTANT_CLASS_P (base)) return true; |