On 12/29/2021 7:21 PM, shi...@iscas.ac.cn wrote:
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:
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?

Jeff

Reply via email to