xbolva00 added a comment.
int f(int n) {
int *x = (int *)malloc(n);
free(x);
int *y = (int *)malloc(n);
return (y == x) ;
}
This has been already folded to true even before this patch.
Repository:
rL LLVM
https://reviews.llvm.org/D52164