dtcxzyw 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?

Other calls to `CGBuilderTy::CreateStructGEP` operate on some internal 
structures like valist/complex/kernel launch params/GPU printf args.


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