balazske added reviewers: steakhal, martong.
balazske added a comment.
Herald added a subscriber: rnkovacs.

I see that there are problems to solve with this patch. If a global variable is 
used at `realloc` or the pointer is a function parameter, it may have aliases 
that are not checkable. In the function code it is possible to detect aliasing. 
If all these cases are eliminated probably not much is left that is detected by 
the check, but we can test it.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D133119/new/

https://reviews.llvm.org/D133119

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to