[Bug tree-optimization/84188] assume non-null malloc pointers are distinct

2018-02-05 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84188 Richard Biener changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug tree-optimization/84188] assume non-null malloc pointers are distinct

2018-02-02 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84188 --- Comment #1 from Martin Sebor --- Another test case for the guarantee that "...and moreover no pointers to valid objects occur in any storage addressed by P." void* __attribute__ ((malloc, returns_nonnull)) f (unsigned); void g3 (unsigned