Re: [committed] analyzer: avoid using in malloc-1.c

2020-01-30 Thread Martin Sebor
On 1/30/20 5:15 PM, David Malcolm wrote: This test assumes that memset and strlen have been marked with __attribute__((nonnull)), which isn't necessarily the case for an arbitrary . I sometimes find it useful to run tests with a cross-compiler. Those that include standard library headers that

[committed] analyzer: avoid using in malloc-1.c

2020-01-30 Thread David Malcolm
This test assumes that memset and strlen have been marked with __attribute__((nonnull)), which isn't necessarily the case for an arbitrary . This likely explains these failures: FAIL: gcc.dg/analyzer/malloc-1.c (test for warnings, line 417) FAIL: gcc.dg/analyzer/malloc-1.c (test for warnings