On Tue, 2022-05-03 at 17:29 -0700, Palmer Dabbelt wrote:
> The test cases in analyzer/pr104308.c use uninitialized values in a
> way
> that doesn't plumb through to the return value of the function. This
> allows the accesses to be deleted, which can result in the diagnostic
> not firing.
Thanks;
The test cases in analyzer/pr104308.c use uninitialized values in a way
that doesn't plumb through to the return value of the function. This
allows the accesses to be deleted, which can result in the diagnostic
not firing.
gcc/testsuite/ChangeLog
* gcc.dg/analyzer/pr104308.c (test_memmov
