serge-sans-paille wrote: For the record, I've added the assumption that seems to correctly capture current UB. I'm not 100% sure it's worth generating them now though?
https://github.com/llvm/llvm-project/pull/119704 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
