Re: [LLVMdev] Handling of pointer difference in llvm-gcc and clang

2011-08-12 Thread Florian Merz
So it seems like we agreed that this is a problem that should be fixed. Shall I create a bug report suggesting for it? Am Friday, 12. August 2011, 09:32:11 schrieb Richard Guenther: > On Thu, Aug 11, 2011 at 10:36 PM, Joe Buck wrote: > > On Thu, Aug 11, 2011 at 1:58 PM, Joseph S. Myers > > > >

Re: [LLVMdev] Handling of pointer difference in llvm-gcc and clang

2011-08-11 Thread Florian Merz
Am Thursday, 11. August 2011, 19:15:41 schrieb Richard Guenther: > On Thu, Aug 11, 2011 at 7:13 PM, Joe Buck wrote: > > On Thu, Aug 11, 2011 at 09:05:19AM -0700, Florian Merz wrote: > >> If I remember the standard correctly, pointer subtraction is valid if > >> both po

Re: [LLVMdev] Handling of pointer difference in llvm-gcc and clang

2011-08-11 Thread Florian Merz
Thanks for your reply Richard, but I'm not satisfied with your answer, yet. :-) If I'm right, then the problem I'm refering to doesn't require large objects. See below for more. Am Thursday, 11. August 2011, 17:48:26 schrieb Richard Guenther: > On Thu, Aug 11, 2011 a

Fwd: Re: [LLVMdev] Handling of pointer difference in llvm-gcc and clang

2011-08-11 Thread Florian Merz
Dear gcc developers, this is about an issue that popped up in a verification project [1] based on LLVM, but it seems to be already present in the gimple code, before llvm-gcc transforms the gimple code to LLVM-IR. In short: Calculating the difference of two pointers seems to be treated by gcc a