![]() ![]() (is_escape_site): Return ESCAPE_BAD_CAST for conversion from a (finalize_ref_all_pointers): New function. (compute_flow_insensitive_aliasing): Punt for ref-all pointers. Ref-all pointers, run a finalization pass. * tree-ssa-alias.c (compute_may_aliases): If the program contains (struct alias_info): Add new field ref_all_symbol_mem_tag. * tree-ssa-structalias.h (PTR_IS_REF_ALL): New macro. I've also changed a little my mind and settled on usingĪ unique SMT for all the ref-all pointers.īuilt and lightly tested with Ada at this point but all my testcases now pass. ![]() This is the second attempt and it takes into account the comments made by 16:33 ` Richard Guenther 0 siblings, 2 replies 9+ messages in threadįrom: Eric Botcazou 15:34 UTC ( / raw) Repair TYPE_REF_CAN_ALIAS_ALL machinery (take 2) public inbox for help / color / mirror / Atom feed * Repair TYPE_REF_CAN_ALIAS_ALL machinery (take 2) 15:34 Eric Botcazou ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |