[llvm] [clang] [InstCombine] Infer disjoint flag on Or instructions. (PR #72912)

Craig Topper via cfe-commits cfe-commits at lists.llvm.org
Mon Dec 4 09:39:53 PST 2023

Previous message: [clang] [analyzer] Fix "sprintf" parameter modeling in CStringChecker (PR #74345)
Next message: [llvm] [clang] [InstCombine] Infer disjoint flag on Or instructions. (PR #72912)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

topperc wrote:

> FWIW, Alive2 is complaining about this commit. These patches are not safe w.r.t. undef.

Why not?

https://github.com/llvm/llvm-project/pull/72912

Previous message: [clang] [analyzer] Fix "sprintf" parameter modeling in CStringChecker (PR #74345)
Next message: [llvm] [clang] [InstCombine] Infer disjoint flag on Or instructions. (PR #72912)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list