More conservative value analysis of pointer equality#516

Merged

xavierleroy merged 2 commits intomasterfrom

value-analysis-pointer-comparison

Jul 26, 2024

Commits on Jul 23, 2024

More conservative analysis of pointer equality and difference
xavierleroy
committed

Commits on Jul 24, 2024

Update test suite
xavierleroy
committed