[analyzer] Sink execution if the assumption of [[assume]] is false#120572

steakhal wants to merge 2 commits intollvm:mainllvm/llvm-project:mainfrom

steakhal:bb/sink-on-false-assumptionCopy head branch name to clipboard