Extended Description

cat test.c
void foo(void);
void bar(void);

static char b = 2;
static int d = -2, e;

static int a(int f, int g) { return (g & -g) < 0 ? f : f - g; }

int main() {
d = 0;
d = b;
bar();
e = a(0, 0);
if (a(-2, d) > 1)
foo();
}

13.0.0 at -O3 can eliminate the call to foo but trunk cannot:

clang-13 -O3 -S -o /dev/stdout test.c
...
main: # @​main
.cfi_startproc

%bb.0:

pushq	%rax
.cfi_def_cfa_offset 16
movb	$1, d(%rip)
callq	bar
xorl	%eax, %eax
popq	%rcx
.cfi_def_cfa_offset 8
retq

clang-trunk -O3 -S -o /dev/stdout case13_clean.c
...
main: # @​main
.cfi_startproc

%bb.0:

pushq	%rax
.cfi_def_cfa_offset 16
movb	$1, d(%rip)
callq	bar
movzbl	d(%rip), %eax
leal	-2(,%rax,4), %ecx
movl	%eax, %edx
shll	$2, %edx
movl	$2, %esi
subl	%edx, %esi
testl	%esi, %ecx
js	.LBB0_3

%bb.1:

leal	-1(,%rax,4), %eax
cmpl	$-3, %eax
jg	.LBB0_3

%bb.2:

callq	foo

.LBB0_3:
xorl %eax, %eax
popq %rcx
.cfi_def_cfa_offset 8
retq

clang-trunk -v
clang version 14.0.0 (https://github.com/llvm/llvm-project.git eda2ebd)
Target: x86_64-unknown-linux-gnu
Thread model: posix

da210f5 introduced this regression