different_pointer() improved
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 4 May 2007 11:11:03 +0000 (11:11 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 4 May 2007 11:11:03 +0000 (11:11 +0000)
commit5997952edad8c24e755fe8457e776ebba4bf533f
treee85c3345ba6744bf053fb1bf3ea3ecab0ca64afa
parent0f1fc7eb63404a625d9e853b3d74233bd085769b
different_pointer() improved

[r13622]
ir/ana/irmemory.c