efriedma-quic wrote:

> most of them are safe

What's the distinguishing factor here?  Do you consider it "safe" to mark 
inbounds if the pointer is immediately dereferenced?  Or does the pointer have 
to refer to a known successful allocation?  Or something else?

https://github.com/llvm/llvm-project/pull/134269
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to