On 3/2/22 19:15, Martin Sebor wrote:
The -Wdangling-pointer code tests the EDGE_DFS_BACK but the pass never calls the mark_dfs_back_edges() function that initializes the bit (I didn't know about it). As a result the bit is not set when expected, which can cause false positives under the right conditions.The attached patch adds a call to the warning pass to initialize the bit. Tested on x86_64-linux.
OK on Monday if no other comments. Jason
