Re: [PATCH] analyzer: testsuite: introduce analyzer-torture.exp

2020-01-23 Thread Richard Sandiford
David Malcolm writes: > Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu. > > OK for master? I'm working on various followup bugfixes that could > use this for test coverage. > > gcc/testsuite/ChangeLog: > * gcc.dg/analyzer/data-model-3.c: Remove hardcoded "-O2" and move >

[PATCH] analyzer: testsuite: introduce analyzer-torture.exp

2020-01-22 Thread David Malcolm
Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu. OK for master? I'm working on various followup bugfixes that could use this for test coverage. gcc/testsuite/ChangeLog: * gcc.dg/analyzer/data-model-3.c: Remove hardcoded "-O2" and move to torture/conftest-1.c.