PR17925, PATCH

[Stepan Dyatkovskiy]

Please find bug description at:
http://llvm.org/bugs/show_bug.cgi?id=17925

Sorry, I forget, that fixes should be published in llvm-commits, not in 
bugzilla. So, below is fix description.

Fix:
The are cases when we CAN treat pointers as integers, and places when we 
CAN'T. Below is my proposal:
* We treat pointers as integers when we compare function formal arguments.
* Otherwise, we can't do that in general.
* We can add more exceptions, where address space affects nothing: for 
example argument of "ret" instruction.
The patch is attached.

Though, by now, it breaks 3 tests, but only since these tests checks 
things that are wrong in general. We have to decide what to do with 
these things:
1. Can we always ignore address space of 'ret' type?
2. Isn't it imprortant to tread 'load' instruction as different if they 
accepts pointers with different address spaces?
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ptr-int-transitivity.patch
Type: text/x-diff
Size: 7893 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20131114/91eea25c/attachment.patch>