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

Nuno Lopes via cfe-commits cfe-commits at lists.llvm.org
Mon Dec 4 01:50:05 PST 2023

Previous message: [clang] [clang][analyzer] Support `fflush` in the StreamChecker (PR #74296)
Next message: [clang] [llvm] [InstCombine] Infer disjoint flag on Or instructions. (PR #72912)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

nunoplopes wrote:

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

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

Previous message: [clang] [clang][analyzer] Support `fflush` in the StreamChecker (PR #74296)
Next message: [clang] [llvm] [InstCombine] Infer disjoint flag on Or instructions. (PR #72912)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list