Successfully regrtested on x86_64-pc-linux-gnu. Pushed to trunk as r12-5642-g955ea7b58e4f1e3cc5083e88575161168c147254.
gcc/testsuite/ChangeLog: PR analyzer/94579 * gcc.dg/analyzer/pr94579.c: New test. Signed-off-by: David Malcolm <dmalc...@redhat.com> --- gcc/testsuite/gcc.dg/analyzer/pr94579.c | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr94579.c diff --git a/gcc/testsuite/gcc.dg/analyzer/pr94579.c b/gcc/testsuite/gcc.dg/analyzer/pr94579.c new file mode 100644 index 00000000000..0ab88c2efb5 --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/pr94579.c @@ -0,0 +1,11 @@ +struct a *c; +struct a { + int b; +} d() { +} + +void e() + +{ + *c = d(); +} -- 2.26.3