Re: [PATCH] [analyzer] [testsuite] avoid unexpected null dereference warning

2024-07-12 Thread Alexandre Oliva
On Jul 11, 2024, David Malcolm wrote: > I intended that particular test as an integration test, to try to make > sure that -fanalyzer is silent on the result of a minimal "flex" > script. So if we're actually getting warnings, that's undesirable, and > I'm not sure the approach in your patch is

Re: [PATCH] [analyzer] [testsuite] avoid unexpected null dereference warning

2024-07-11 Thread David Malcolm
On Thu, 2024-07-11 at 10:36 -0300, Alexandre Oliva wrote: > > The analyzer testsuite, on a customer's own operating system, reports > a potential NULL pointer dereference in flex-without-call- > summaries.c. > I'm not sure why it shows up on that system, but not on others, but > the test is not me

[PATCH] [analyzer] [testsuite] avoid unexpected null dereference warning

2024-07-11 Thread Alexandre Oliva
The analyzer testsuite, on a customer's own operating system, reports a potential NULL pointer dereference in flex-without-call-summaries.c. I'm not sure why it shows up on that system, but not on others, but the test is not meant to test for that warning, so I'm silencing it. Regstrapped on x86