------- Additional Comments From rakdver at atrey dot karlin dot mff dot cuni dot cz 2005-02-13 20:11 ------- Subject: Re: [4.0 Regression] LIM is pulling out a pure function even though there is something which can modify global memory
> That's a pretty useless definition of pure functions - they may read global > memory, but not dereference any pointers which are invalid at any point in > the life of the program? sorry, but allowing pure functions to trap would make them even more useless. For example it would be forbidden to remove calls to them (no dce), possibilities for code motion would be severely limited, etc. Hopefully with interprocedural alias analysis pure specifier will become less needed. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19828