On 12/29/2021 7:21 PM, shi...@iscas.ac.cn wrote:
Umm, isn't the whole point of the test to verify that the analyzer properly detects the non-free'd pointer as escaping via the return value?From: LiaoShihua <shi...@iscas.ac.cn> following 'false' branch in line 20, 'tmp.word_state' leaks in line 26. So free 'tmp.word_state' before return 'rval'.gcc/testsuite\ChangeLog:* gcc.dg/analyzer/pr103526.c:
Jeff