public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "dberlin at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/28778] [4.0/4.1/4.2 Regression] alias bug with cast and call clobbered Date: Thu, 19 Oct 2006 23:06:00 -0000 [thread overview] Message-ID: <20061019230619.11271.qmail@sourceware.org> (raw) In-Reply-To: <bug-28778-1447@http.gcc.gnu.org/bugzilla/> ------- Comment #43 from dberlin at gcc dot gnu dot org 2006-10-19 23:06 ------- Subject: Bug 28778 Author: dberlin Date: Thu Oct 19 23:05:53 2006 New Revision: 117891 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=117891 Log: 2006-10-19 Daniel Berlin <dberlin@dberlin.org> Fix PR tree-optimization/28778 Fix PR tree-optimization/29156 Fix PR tree-optimization/29415 * tree.h (DECL_PTA_ARTIFICIAL): New macro. (tree_decl_with_vis): Add artificial_pta_var flag. * tree-ssa-alias.c (is_escape_site): Remove alias info argument, pushed into callers. * tree-ssa-structalias.c (nonlocal_for_type): New variable. (nonlocal_all): Ditto. (struct variable_info): Add directly_dereferenced member. (var_escaped_vars): New variable. (escaped_vars_tree): Ditto. (escaped_vars_id): Ditto. (nonlocal_vars_id): Ditto. (new_var_info): Set directly_dereferenced. (graph_size): New variable (build_constraint_graph): Use graph_size. (solve_graph): Don't process constraints that cannot change the solution, don't try to propagate an empty solution to our successors. (process_constraint): Set directly_dereferenced. (could_have_pointers): New function. (get_constraint_for_component_ref): Don't process STRING_CST. (nonlocal_lookup): New function. (nonlocal_insert): Ditto. (create_nonlocal_var): Ditto. (get_nonlocal_id_for_type): Ditto. (get_constraint_for): Allow results vector to be empty in the case of string constants. Handle results of calls properly. (update_alias_info): Update alias info stats on number and type of calls. (find_func_aliases): Use could_have_pointers. (make_constraint_from_escaped): Renamed from make_constraint_to_anything, and changed to make constraints from escape variable. (make_constraint_to_escaped): New function. (find_global_initializers): Ditto. (create_variable_info_for): Make constraint from escaped to any global variable, and from any global variable to the set of escaped vars. (intra_create_variable_infos): Deal with escaped instead of pointing to anything. (set_uids_in_ptset): Do type pruning on directly dereferenced variables. (find_what_p_points_to): Adjust call to set_uids_with_ptset. (init_base_vars): Fix comment, and initialize escaped_vars. (need_to_solve): Removed. (find_escape_constraints): New function. (expand_nonlocal_solutions): Ditto. (compute_points_to_sets): Call find_escape_constraints and expand_nonlocal_solutions. (delete_points_to_sets): Don't fall off the end of the graph. (init_alias_heapvars): Initialize nonlocal_for_type and nonlocal_all. (delete_alias_heapvars): Free nonlocal_for_type and null out nonlocal_all. Added: trunk/gcc/testsuite/gcc.c-torture/execute/pr28778.c trunk/gcc/testsuite/gcc.c-torture/execute/pr29156.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/gcc.dg/tree-ssa/pta-fp.c trunk/gcc/tree-ssa-alias.c trunk/gcc/tree-ssa-operands.c trunk/gcc/tree-ssa-structalias.c trunk/gcc/tree-ssa-structalias.h trunk/gcc/tree.h -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28778
next prev parent reply other threads:[~2006-10-19 23:06 UTC|newest] Thread overview: 56+ messages / expand[flat|nested] mbox.gz Atom feed top 2006-08-18 21:07 [Bug tree-optimization/28778] New: strict-aliasing bug mrs at apple dot com 2006-08-18 21:11 ` [Bug tree-optimization/28778] " pinskia at gcc dot gnu dot org 2006-08-18 21:12 ` mrs at apple dot com 2006-08-18 21:15 ` pinskia at gcc dot gnu dot org 2006-08-18 21:18 ` [Bug tree-optimization/28778] [4.0/4.1/4.2 Regression] alias bug with cast and call clobbered pinskia at gcc dot gnu dot org 2006-08-19 10:15 ` rguenth at gcc dot gnu dot org 2006-08-19 10:44 ` rguenth at gcc dot gnu dot org 2006-08-19 14:10 ` dberlin at gcc dot gnu dot org 2006-08-19 14:27 ` rguenth at gcc dot gnu dot org 2006-08-20 22:53 ` mmitchel at gcc dot gnu dot org 2006-08-21 1:34 ` dberlin at dberlin dot org 2006-08-21 16:34 ` janis at gcc dot gnu dot org 2006-08-25 19:57 ` drow at gcc dot gnu dot org 2006-08-25 20:51 ` drow at gcc dot gnu dot org 2006-08-25 20:57 ` drow at gcc dot gnu dot org 2006-08-25 22:12 ` drow at gcc dot gnu dot org 2006-08-26 15:15 ` drow at gcc dot gnu dot org 2006-08-26 20:30 ` rguenth at gcc dot gnu dot org 2006-08-26 20:42 ` rguenth at gcc dot gnu dot org 2006-08-26 23:25 ` drow at gcc dot gnu dot org 2006-08-27 4:12 ` dberlin at dberlin dot org 2006-08-27 14:20 ` rguenth at gcc dot gnu dot org 2006-08-27 15:41 ` dberlin at dberlin dot org 2006-08-27 15:50 ` rguenth at gcc dot gnu dot org 2006-08-27 16:00 ` dberlin at dberlin dot org 2006-08-27 17:56 ` drow at gcc dot gnu dot org 2006-08-27 20:25 ` mmitchel at gcc dot gnu dot org 2006-08-27 20:28 ` mmitchel at gcc dot gnu dot org 2006-08-27 20:51 ` dberlin at dberlin dot org 2006-08-27 21:09 ` dberlin at dberlin dot org 2006-08-28 8:43 ` rguenth at gcc dot gnu dot org 2006-09-09 17:55 ` dberlin at dberlin dot org 2006-09-16 18:09 ` steven at gcc dot gnu dot org 2006-09-16 20:03 ` dberlin at dberlin dot org 2006-09-26 4:44 ` acahalan at gmail dot com 2006-09-26 4:56 ` Andrew Pinski 2006-09-26 4:56 ` pinskia at physics dot uc dot edu 2006-09-26 14:17 ` acahalan at gmail dot com 2006-09-26 14:32 ` pinskia at gcc dot gnu dot org 2006-09-26 15:33 ` acahalan at gmail dot com 2006-09-26 15:47 ` dberlin at dberlin dot org 2006-09-26 15:49 ` pinskia at gcc dot gnu dot org 2006-09-26 15:57 ` pcarlini at suse dot de 2006-09-27 2:12 ` dberlin at dberlin dot org 2006-10-13 17:50 ` dberlin at gcc dot gnu dot org 2006-10-19 23:06 ` dberlin at gcc dot gnu dot org [this message] 2006-10-19 23:07 ` dberlin at gcc dot gnu dot org 2006-10-20 8:25 ` [Bug tree-optimization/28778] [4.0/4.1 " rguenth at gcc dot gnu dot org 2006-11-05 22:17 ` chuck at vertica dot com 2006-11-05 22:26 ` drow at gcc dot gnu dot org 2006-11-05 22:26 ` pinskia at gcc dot gnu dot org 2006-11-05 23:39 ` chuck at vertica dot com 2007-01-25 15:51 ` gdr at gcc dot gnu dot org 2007-02-07 22:52 ` pinskia at gcc dot gnu dot org 2007-02-14 9:09 ` mmitchel at gcc dot gnu dot org 2008-07-04 15:51 ` [Bug tree-optimization/28778] [4.1 " jsm28 at gcc dot gnu dot org
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20061019230619.11271.qmail@sourceware.org \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).