From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mga01.intel.com (mga01.intel.com [192.55.52.88]) by sourceware.org (Postfix) with ESMTPS id 8C919385801D for ; Wed, 18 Aug 2021 22:58:51 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 8C919385801D X-IronPort-AV: E=McAfee;i="6200,9189,10080"; a="238555260" X-IronPort-AV: E=Sophos;i="5.84,332,1620716400"; d="scan'208";a="238555260" Received: from orsmga003.jf.intel.com ([10.7.209.27]) by fmsmga101.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 18 Aug 2021 15:58:49 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.84,332,1620716400"; d="scan'208";a="424397512" Received: from scymds01.sc.intel.com ([10.148.94.138]) by orsmga003.jf.intel.com with ESMTP; 18 Aug 2021 15:58:49 -0700 Received: from gnu-34.sc.intel.com (gnu-34.sc.intel.com [172.25.70.212]) by scymds01.sc.intel.com with ESMTP id 17IMwnJO017403; Wed, 18 Aug 2021 15:58:49 -0700 Received: by gnu-34.sc.intel.com (Postfix, from userid 1000) id 039BE63C61; Wed, 18 Aug 2021 15:58:48 -0700 (PDT) Date: Wed, 18 Aug 2021 15:58:48 -0700 To: skpgkp2@gmail.com, hjl.tools@gmail.com, gcc-regression@gcc.gnu.org Subject: Regressions on master at commit r12-3004 vs commit r12-2992 on Linux/x86_64 User-Agent: Heirloom mailx 12.5 7/5/10 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Message-Id: <20210818225849.039BE63C61@gnu-34.sc.intel.com> From: "H.J. Lu" X-Spam-Status: No, score=-3472.2 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS, KAM_LAZY_DOMAIN_SECURITY, KAM_NUMSUBJECT, RCVD_IN_MSPIKE_H3, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_NONE, TXREP autolearn=no autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gcc-regression@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-regression mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 18 Aug 2021 22:58:55 -0000 New failures: FAIL: gcc.dg/analyzer/analyzer-verbosity-0.c expected multiline pattern= lines 24-60 not found: "\s*NN \| free \(ptr\);.*\n \| \^~~~~~= ~~~~\n 'test_1': event 1.*\n \|.*\n \| NN \| calls_free_1 = \(ptr\);.*\n \| \| \^~~~~~~~~~~~~~~~~~\n \| \| = \|.*\n \| \| \(1\) calling 'calls_free_1' from 'test_1'.*\n= \|.*\n \+--> 'calls_free_1': event 2.*\n \|.*\n = \| NN \| free \(ptr\);.*\n \| \| \^~~~~~~~~~\n= \| \| \|.*\n \| \| \(2\) first 'free= ' here.*\n \|.*\n <------\+.*\n \|.*\n 'test_1': event= s 3-4.*\n \|.*\n \| NN \| calls_free_1 \(ptr\);.*\n \| = \| \^~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \|= \(3\) returning to 'test_1' from 'calls_free_1'.*\n \|\.\.\.\.\= .\..*\n \| NN \| calls_free_1 \(ptr\);.*\n \| \| ~= ~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(4\) pa= ssing freed pointer 'ptr' in call to 'calls_free_1' from 'test_1'.*\n = \|.*\n \+--> 'calls_free_1': event 5.*\n \|.*\n = \| NN \| free \(ptr\);.*\n \| \| \^~~~~~~~~~\n = \| \| \|.*\n \| \| \(5\) second 'free'= here; first 'free' was at \(2\).*\n \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-0.c expected multiline pattern= lines 24-60 not found: "\s*NN \| free \(ptr\);.*\n \| \^~~~~~= ~~~~\n 'test_1': event 1.*\n \|.*\n \| NN \| calls_free_1 = \(ptr\);.*\n \| \| \^~~~~~~~~~~~~~~~~~\n \| \| = \|.*\n \| \| \(1\) calling 'calls_free_1' from 'test_1'.*\n= \|.*\n \+--> 'calls_free_1': event 2.*\n \|.*\n = \| NN \| free \(ptr\);.*\n \| \| \^~~~~~~~~~\n= \| \| \|.*\n \| \| \(2\) first 'free= ' here.*\n \|.*\n <------\+.*\n \|.*\n 'test_1': event= s 3-4.*\n \|.*\n \| NN \| calls_free_1 \(ptr\);.*\n \| = \| \^~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \|= \(3\) returning to 'test_1' from 'calls_free_1'.*\n \|\.\.\.\.\= .\..*\n \| NN \| calls_free_1 \(ptr\);.*\n \| \| ~= ~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(4\) pa= ssing freed pointer 'ptr' in call to 'calls_free_1' from 'test_1'.*\n = \|.*\n \+--> 'calls_free_1': event 5.*\n \|.*\n = \| NN \| free \(ptr\);.*\n \| \| \^~~~~~~~~~\n = \| \| \|.*\n \| \| \(5\) second 'free'= here; first 'free' was at \(2\).*\n \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-0.c expected multiline pattern= lines 24-60 not found: "\s*NN \| free \(ptr\);.*\n \| \^~~~~~= ~~~~\n 'test_1': event 1.*\n \|.*\n \| NN \| calls_free_1 = \(ptr\);.*\n \| \| \^~~~~~~~~~~~~~~~~~\n \| \| = \|.*\n \| \| \(1\) calling 'calls_free_1' from 'test_1'.*\n= \|.*\n \+--> 'calls_free_1': event 2.*\n \|.*\n = \| NN \| free \(ptr\);.*\n \| \| \^~~~~~~~~~\n= \| \| \|.*\n \| \| \(2\) first 'free= ' here.*\n \|.*\n <------\+.*\n \|.*\n 'test_1': event= s 3-4.*\n \|.*\n \| NN \| calls_free_1 \(ptr\);.*\n \| = \| \^~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \|= \(3\) returning to 'test_1' from 'calls_free_1'.*\n \|\.\.\.\.\= .\..*\n \| NN \| calls_free_1 \(ptr\);.*\n \| \| ~= ~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(4\) pa= ssing freed pointer 'ptr' in call to 'calls_free_1' from 'test_1'.*\n = \|.*\n \+--> 'calls_free_1': event 5.*\n \|.*\n = \| NN \| free \(ptr\);.*\n \| \| \^~~~~~~~~~\n = \| \| \|.*\n \| \| \(5\) second 'free'= here; first 'free' was at \(2\).*\n \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-0.c expected multiline pattern= lines 94-130 not found: " NN \| free \(ptr\);.*\n \| \^~~~~= ~~~~~\n 'test_2': event 1.*\n \|.*\n \| NN \| calls_free= _2 \(ptr\);.*\n \| \| \^~~~~~~~~~~~~~~~~~\n \| \|= \|.*\n \| \| \(1\) calling 'calls_free_2' from 'te= st_2'.*\n \|.*\n \+--> 'calls_free_2': event 2.*\n \|.*= \n \| NN \| free \(ptr\);.*\n \| \| \^~~= ~~~~~~~\n \| \| \|.*\n \| \| \(2\) fi= rst 'free' here.*\n \|.*\n <------\+.*\n \|.*\n 'test_= 2': events 3-4.*\n \|.*\n \| NN \| calls_free_2 \(ptr\);.= *\n \| \| \^~~~~~~~~~~~~~~~~~\n \| \| \|.*\= n \| \| \(3\) returning to 'test_2' from 'calls_free_2'.*= \n \|\.\.\.\.\.\..*\n \| NN \| calls_free_2 \(ptr\);.*\n = \| \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n = \| \| \(4\) passing freed pointer 'ptr' in call to 'calls_fr= ee_2' from 'test_2'.*\n \|.*\n \+--> 'calls_free_2': event 5.*\n = \|.*\n \| NN \| free \(ptr\);.*\n \| = \| \^~~~~~~~~~\n \| \| \|.*\n \| = \| \(5\) second 'free' here; first 'free' was at \(2\).*\n = \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-0.c expected multiline pattern= lines 94-130 not found: " NN \| free \(ptr\);.*\n \| \^~~~~= ~~~~~\n 'test_2': event 1.*\n \|.*\n \| NN \| calls_free= _2 \(ptr\);.*\n \| \| \^~~~~~~~~~~~~~~~~~\n \| \|= \|.*\n \| \| \(1\) calling 'calls_free_2' from 'te= st_2'.*\n \|.*\n \+--> 'calls_free_2': event 2.*\n \|.*= \n \| NN \| free \(ptr\);.*\n \| \| \^~~= ~~~~~~~\n \| \| \|.*\n \| \| \(2\) fi= rst 'free' here.*\n \|.*\n <------\+.*\n \|.*\n 'test_= 2': events 3-4.*\n \|.*\n \| NN \| calls_free_2 \(ptr\);.= *\n \| \| \^~~~~~~~~~~~~~~~~~\n \| \| \|.*\= n \| \| \(3\) returning to 'test_2' from 'calls_free_2'.*= \n \|\.\.\.\.\.\..*\n \| NN \| calls_free_2 \(ptr\);.*\n = \| \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n = \| \| \(4\) passing freed pointer 'ptr' in call to 'calls_fr= ee_2' from 'test_2'.*\n \|.*\n \+--> 'calls_free_2': event 5.*\n = \|.*\n \| NN \| free \(ptr\);.*\n \| = \| \^~~~~~~~~~\n \| \| \|.*\n \| = \| \(5\) second 'free' here; first 'free' was at \(2\).*\n = \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-0.c expected multiline pattern= lines 94-130 not found: " NN \| free \(ptr\);.*\n \| \^~~~~= ~~~~~\n 'test_2': event 1.*\n \|.*\n \| NN \| calls_free= _2 \(ptr\);.*\n \| \| \^~~~~~~~~~~~~~~~~~\n \| \|= \|.*\n \| \| \(1\) calling 'calls_free_2' from 'te= st_2'.*\n \|.*\n \+--> 'calls_free_2': event 2.*\n \|.*= \n \| NN \| free \(ptr\);.*\n \| \| \^~~= ~~~~~~~\n \| \| \|.*\n \| \| \(2\) fi= rst 'free' here.*\n \|.*\n <------\+.*\n \|.*\n 'test_= 2': events 3-4.*\n \|.*\n \| NN \| calls_free_2 \(ptr\);.= *\n \| \| \^~~~~~~~~~~~~~~~~~\n \| \| \|.*\= n \| \| \(3\) returning to 'test_2' from 'calls_free_2'.*= \n \|\.\.\.\.\.\..*\n \| NN \| calls_free_2 \(ptr\);.*\n = \| \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n = \| \| \(4\) passing freed pointer 'ptr' in call to 'calls_fr= ee_2' from 'test_2'.*\n \|.*\n \+--> 'calls_free_2': event 5.*\n = \|.*\n \| NN \| free \(ptr\);.*\n \| = \| \^~~~~~~~~~\n \| \| \|.*\n \| = \| \(5\) second 'free' here; first 'free' was at \(2\).*\n = \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-0.c (test for excess errors) FAIL: gcc.dg/analyzer/analyzer-verbosity-0.c (test for excess errors) FAIL: gcc.dg/analyzer/analyzer-verbosity-0.c (test for excess errors) FAIL: gcc.dg/analyzer/analyzer-verbosity-1.c expected multiline pattern= lines 109-160 not found: " NN \| free \(ptr\);.*\n \| \^~~~= ~~~~~~\n 'test_2': events 1-2.*\n \|.*\n \| NN \| void test_2 = \(void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_2'.*\n \|\.= \.\.\.\.\..*\n \| NN \| calls_free_2 \(ptr\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \|= \(2\) calling 'calls_free_2' from 'test_2'.*\n \|.*\n \+--= > 'calls_free_2': events 3-4.*\n \|.*\n \| NN \| = void calls_free_2 \(void \*ptr\).*\n \| \| \^~~~~~~= ~~~~~\n \| \| \|.*\n \| \| \(3\= ) entry to 'calls_free_2'.*\n \| NN \| \{.*\n \| = NN \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n = \| \| \|.*\n \| \| \(4\) first 'free' here.*= \n \|.*\n <------\+.*\n \|.*\n 'test_2': events 5-6.*\= n \|.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| \|= \^~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(5\) returning to 'test_2' from 'calls_free_2'.*\n \|\.\.\.\.\= .\..*\n \| NN \| calls_free_2 \(ptr\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(6\) passing freed pointer 'ptr' in call to 'calls_free_2' from 'test_= 2'.*\n \|.*\n \+--> 'calls_free_2': events 7-8.*\n \|.*= \n \| NN \| void calls_free_2 \(void \*ptr\).*\n = \| \| \^~~~~~~~~~~~\n \| \| \|.*\n = \| \| \(7\) entry to 'calls_free_2'.*\n \| NN= \| \{.*\n \| NN \| free \(ptr\);.*\n \| \= | ~~~~~~~~~~\n \| \| \|.*\n \| \| \= (8\) second 'free' here; first 'free' was at \(4\).*\n \|.*\n= " FAIL: gcc.dg/analyzer/analyzer-verbosity-1.c expected multiline pattern= lines 109-160 not found: " NN \| free \(ptr\);.*\n \| \^~~~= ~~~~~~\n 'test_2': events 1-2.*\n \|.*\n \| NN \| void test_2 = \(void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_2'.*\n \|\.= \.\.\.\.\..*\n \| NN \| calls_free_2 \(ptr\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \|= \(2\) calling 'calls_free_2' from 'test_2'.*\n \|.*\n \+--= > 'calls_free_2': events 3-4.*\n \|.*\n \| NN \| = void calls_free_2 \(void \*ptr\).*\n \| \| \^~~~~~~= ~~~~~\n \| \| \|.*\n \| \| \(3\= ) entry to 'calls_free_2'.*\n \| NN \| \{.*\n \| = NN \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n = \| \| \|.*\n \| \| \(4\) first 'free' here.*= \n \|.*\n <------\+.*\n \|.*\n 'test_2': events 5-6.*\= n \|.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| \|= \^~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(5\) returning to 'test_2' from 'calls_free_2'.*\n \|\.\.\.\.\= .\..*\n \| NN \| calls_free_2 \(ptr\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(6\) passing freed pointer 'ptr' in call to 'calls_free_2' from 'test_= 2'.*\n \|.*\n \+--> 'calls_free_2': events 7-8.*\n \|.*= \n \| NN \| void calls_free_2 \(void \*ptr\).*\n = \| \| \^~~~~~~~~~~~\n \| \| \|.*\n = \| \| \(7\) entry to 'calls_free_2'.*\n \| NN= \| \{.*\n \| NN \| free \(ptr\);.*\n \| \= | ~~~~~~~~~~\n \| \| \|.*\n \| \| \= (8\) second 'free' here; first 'free' was at \(4\).*\n \|.*\n= " FAIL: gcc.dg/analyzer/analyzer-verbosity-1.c expected multiline pattern= lines 109-160 not found: " NN \| free \(ptr\);.*\n \| \^~~~= ~~~~~~\n 'test_2': events 1-2.*\n \|.*\n \| NN \| void test_2 = \(void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_2'.*\n \|\.= \.\.\.\.\..*\n \| NN \| calls_free_2 \(ptr\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \|= \(2\) calling 'calls_free_2' from 'test_2'.*\n \|.*\n \+--= > 'calls_free_2': events 3-4.*\n \|.*\n \| NN \| = void calls_free_2 \(void \*ptr\).*\n \| \| \^~~~~~~= ~~~~~\n \| \| \|.*\n \| \| \(3\= ) entry to 'calls_free_2'.*\n \| NN \| \{.*\n \| = NN \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n = \| \| \|.*\n \| \| \(4\) first 'free' here.*= \n \|.*\n <------\+.*\n \|.*\n 'test_2': events 5-6.*\= n \|.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| \|= \^~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(5\) returning to 'test_2' from 'calls_free_2'.*\n \|\.\.\.\.\= .\..*\n \| NN \| calls_free_2 \(ptr\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(6\) passing freed pointer 'ptr' in call to 'calls_free_2' from 'test_= 2'.*\n \|.*\n \+--> 'calls_free_2': events 7-8.*\n \|.*= \n \| NN \| void calls_free_2 \(void \*ptr\).*\n = \| \| \^~~~~~~~~~~~\n \| \| \|.*\n = \| \| \(7\) entry to 'calls_free_2'.*\n \| NN= \| \{.*\n \| NN \| free \(ptr\);.*\n \| \= | ~~~~~~~~~~\n \| \| \|.*\n \| \| \= (8\) second 'free' here; first 'free' was at \(4\).*\n \|.*\n= " FAIL: gcc.dg/analyzer/analyzer-verbosity-1.c expected multiline pattern= lines 24-75 not found: "\s*NN \| free \(ptr\);.*\n \| \^~~~~~= ~~~~\n 'test_1': events 1-2.*\n \|.*\n \| NN \| void test_1 \(= void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_1'.*\n \|\.\.= \.\.\.\..*\n \| NN \| calls_free_1 \(ptr\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(2= \) calling 'calls_free_1' from 'test_1'.*\n \|.*\n \+--> 'calls_f= ree_1': events 3-4.*\n \|.*\n \| NN \| void calls= _free_1 \(void \*ptr\).*\n \| \| \^~~~~~~~~~~~\n = \| \| \|.*\n \| \| \(3\) entry to= 'calls_free_1'.*\n \| NN \| \{.*\n \| NN \| = free \(ptr\);.*\n \| \| ~~~~~~~~~~\n \| = \| \|.*\n \| \| \(4\) first 'free' here.*\n = \|.*\n <------\+.*\n \|.*\n 'test_1': events 5-6.*\n \|.*\= n \| NN \| calls_free_1 \(ptr\);.*\n \| \| \^~~~~~= ~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(5\) returni= ng to 'test_1' from 'calls_free_1'.*\n \|\.\.\.\.\.\..*\n \| NN= \| calls_free_1 \(ptr\);.*\n \| \| ~~~~~~~~~~~~~~~~~~\= n \| \| \|.*\n \| \| \(6\) passing freed pointe= r 'ptr' in call to 'calls_free_1' from 'test_1'.*\n \|.*\n \+--> = 'calls_free_1': events 7-8.*\n \|.*\n \| NN \| vo= id calls_free_1 \(void \*ptr\).*\n \| \| \^~~~~~~~~= ~~~\n \| \| \|.*\n \| \| \(7\) = entry to 'calls_free_1'.*\n \| NN \| \{.*\n \| = NN \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n = \| \| \|.*\n \| \| \(8\) second 'free' here; f= irst 'free' was at \(4\).*\n \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-1.c expected multiline pattern= lines 24-75 not found: "\s*NN \| free \(ptr\);.*\n \| \^~~~~~= ~~~~\n 'test_1': events 1-2.*\n \|.*\n \| NN \| void test_1 \(= void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_1'.*\n \|\.\.= \.\.\.\..*\n \| NN \| calls_free_1 \(ptr\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(2= \) calling 'calls_free_1' from 'test_1'.*\n \|.*\n \+--> 'calls_f= ree_1': events 3-4.*\n \|.*\n \| NN \| void calls= _free_1 \(void \*ptr\).*\n \| \| \^~~~~~~~~~~~\n = \| \| \|.*\n \| \| \(3\) entry to= 'calls_free_1'.*\n \| NN \| \{.*\n \| NN \| = free \(ptr\);.*\n \| \| ~~~~~~~~~~\n \| = \| \|.*\n \| \| \(4\) first 'free' here.*\n = \|.*\n <------\+.*\n \|.*\n 'test_1': events 5-6.*\n \|.*\= n \| NN \| calls_free_1 \(ptr\);.*\n \| \| \^~~~~~= ~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(5\) returni= ng to 'test_1' from 'calls_free_1'.*\n \|\.\.\.\.\.\..*\n \| NN= \| calls_free_1 \(ptr\);.*\n \| \| ~~~~~~~~~~~~~~~~~~\= n \| \| \|.*\n \| \| \(6\) passing freed pointe= r 'ptr' in call to 'calls_free_1' from 'test_1'.*\n \|.*\n \+--> = 'calls_free_1': events 7-8.*\n \|.*\n \| NN \| vo= id calls_free_1 \(void \*ptr\).*\n \| \| \^~~~~~~~~= ~~~\n \| \| \|.*\n \| \| \(7\) = entry to 'calls_free_1'.*\n \| NN \| \{.*\n \| = NN \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n = \| \| \|.*\n \| \| \(8\) second 'free' here; f= irst 'free' was at \(4\).*\n \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-1.c expected multiline pattern= lines 24-75 not found: "\s*NN \| free \(ptr\);.*\n \| \^~~~~~= ~~~~\n 'test_1': events 1-2.*\n \|.*\n \| NN \| void test_1 \(= void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_1'.*\n \|\.\.= \.\.\.\..*\n \| NN \| calls_free_1 \(ptr\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(2= \) calling 'calls_free_1' from 'test_1'.*\n \|.*\n \+--> 'calls_f= ree_1': events 3-4.*\n \|.*\n \| NN \| void calls= _free_1 \(void \*ptr\).*\n \| \| \^~~~~~~~~~~~\n = \| \| \|.*\n \| \| \(3\) entry to= 'calls_free_1'.*\n \| NN \| \{.*\n \| NN \| = free \(ptr\);.*\n \| \| ~~~~~~~~~~\n \| = \| \|.*\n \| \| \(4\) first 'free' here.*\n = \|.*\n <------\+.*\n \|.*\n 'test_1': events 5-6.*\n \|.*\= n \| NN \| calls_free_1 \(ptr\);.*\n \| \| \^~~~~~= ~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(5\) returni= ng to 'test_1' from 'calls_free_1'.*\n \|\.\.\.\.\.\..*\n \| NN= \| calls_free_1 \(ptr\);.*\n \| \| ~~~~~~~~~~~~~~~~~~\= n \| \| \|.*\n \| \| \(6\) passing freed pointe= r 'ptr' in call to 'calls_free_1' from 'test_1'.*\n \|.*\n \+--> = 'calls_free_1': events 7-8.*\n \|.*\n \| NN \| vo= id calls_free_1 \(void \*ptr\).*\n \| \| \^~~~~~~~~= ~~~\n \| \| \|.*\n \| \| \(7\) = entry to 'calls_free_1'.*\n \| NN \| \{.*\n \| = NN \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n = \| \| \|.*\n \| \| \(8\) second 'free' here; f= irst 'free' was at \(4\).*\n \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-1.c (test for excess errors) FAIL: gcc.dg/analyzer/analyzer-verbosity-1.c (test for excess errors) FAIL: gcc.dg/analyzer/analyzer-verbosity-1.c (test for excess errors) FAIL: gcc.dg/analyzer/analyzer-verbosity-2.c expected multiline pattern= lines 120-189 not found: " NN \| free \(ptr\);.*\n \| \^~~~= ~~~~~~\n 'test_2': events 1-4.*\n \|.*\n \| NN \| void test_2 = \(void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_2'.*\n \| = NN \| \{.*\n \| NN \| switch \(a\).*\n \| \| ~~~~~~\n= \| \| \|.*\n \| \| \(2\) following 'case 3:' branc= h\.\.\..*\n \|\.\.\.\.\.\..*\n \| NN \| case 3:.*\n \| = \| ~~~~\n \| \| \|.*\n \| \| \(3\) \.\.= \.to here.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(4\) calling 'calls_free_2' from 'test_2'.*\n \|.*\n \+-->= 'calls_free_2': events 5-6.*\n \|.*\n \| NN \| v= oid calls_free_2 \(void \*ptr\).*\n \| \| \^~~~~~~~= ~~~~\n \| \| \|.*\n \| \| \(5\)= entry to 'calls_free_2'.*\n \| NN \| \{.*\n \| = NN \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n = \| \| \|.*\n \| \| \(6\) first 'free' here.*\= n \|.*\n <------\+.*\n \|.*\n 'test_2': events 7-10.*\= n \|.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| \|= \^~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(7\) returning to 'test_2' from 'calls_free_2'.*\n \|\.\.\.\.\= .\..*\n \| NN \| switch \(b\).*\n \| \| ~~~~~~\n \|= \| \|.*\n \| \| \(8\) following 'default:' branch\.\.= \..*\n \| NN \| \{.*\n \| NN \| default:.*\n \| = \| ~~~~~~~\n \| \| \|.*\n \| \| \(9\) \.= \.\.to here.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \= | \(10\) passing freed pointer 'ptr' in call to 'calls_free_2' fr= om 'test_2'.*\n \|.*\n \+--> 'calls_free_2': events 11-12.*\n = \|.*\n \| NN \| void calls_free_2 \(void \*ptr\).*\n= \| \| \^~~~~~~~~~~~\n \| \| \|= .*\n \| \| \(11\) entry to 'calls_free_2'.*\n = \| NN \| \{.*\n \| NN \| free \(ptr\);.*\n = \| \| ~~~~~~~~~~\n \| \| \|.*\n \|= \| \(12\) second 'free' here; first 'free' was at \(6\).*\n = \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-2.c expected multiline pattern= lines 120-189 not found: " NN \| free \(ptr\);.*\n \| \^~~~= ~~~~~~\n 'test_2': events 1-4.*\n \|.*\n \| NN \| void test_2 = \(void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_2'.*\n \| = NN \| \{.*\n \| NN \| switch \(a\).*\n \| \| ~~~~~~\n= \| \| \|.*\n \| \| \(2\) following 'case 3:' branc= h\.\.\..*\n \|\.\.\.\.\.\..*\n \| NN \| case 3:.*\n \| = \| ~~~~\n \| \| \|.*\n \| \| \(3\) \.\.= \.to here.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(4\) calling 'calls_free_2' from 'test_2'.*\n \|.*\n \+-->= 'calls_free_2': events 5-6.*\n \|.*\n \| NN \| v= oid calls_free_2 \(void \*ptr\).*\n \| \| \^~~~~~~~= ~~~~\n \| \| \|.*\n \| \| \(5\)= entry to 'calls_free_2'.*\n \| NN \| \{.*\n \| = NN \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n = \| \| \|.*\n \| \| \(6\) first 'free' here.*\= n \|.*\n <------\+.*\n \|.*\n 'test_2': events 7-10.*\= n \|.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| \|= \^~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(7\) returning to 'test_2' from 'calls_free_2'.*\n \|\.\.\.\.\= .\..*\n \| NN \| switch \(b\).*\n \| \| ~~~~~~\n \|= \| \|.*\n \| \| \(8\) following 'default:' branch\.\.= \..*\n \| NN \| \{.*\n \| NN \| default:.*\n \| = \| ~~~~~~~\n \| \| \|.*\n \| \| \(9\) \.= \.\.to here.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \= | \(10\) passing freed pointer 'ptr' in call to 'calls_free_2' fr= om 'test_2'.*\n \|.*\n \+--> 'calls_free_2': events 11-12.*\n = \|.*\n \| NN \| void calls_free_2 \(void \*ptr\).*\n= \| \| \^~~~~~~~~~~~\n \| \| \|= .*\n \| \| \(11\) entry to 'calls_free_2'.*\n = \| NN \| \{.*\n \| NN \| free \(ptr\);.*\n = \| \| ~~~~~~~~~~\n \| \| \|.*\n \|= \| \(12\) second 'free' here; first 'free' was at \(6\).*\n = \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-2.c expected multiline pattern= lines 120-189 not found: " NN \| free \(ptr\);.*\n \| \^~~~= ~~~~~~\n 'test_2': events 1-4.*\n \|.*\n \| NN \| void test_2 = \(void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_2'.*\n \| = NN \| \{.*\n \| NN \| switch \(a\).*\n \| \| ~~~~~~\n= \| \| \|.*\n \| \| \(2\) following 'case 3:' branc= h\.\.\..*\n \|\.\.\.\.\.\..*\n \| NN \| case 3:.*\n \| = \| ~~~~\n \| \| \|.*\n \| \| \(3\) \.\.= \.to here.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(4\) calling 'calls_free_2' from 'test_2'.*\n \|.*\n \+-->= 'calls_free_2': events 5-6.*\n \|.*\n \| NN \| v= oid calls_free_2 \(void \*ptr\).*\n \| \| \^~~~~~~~= ~~~~\n \| \| \|.*\n \| \| \(5\)= entry to 'calls_free_2'.*\n \| NN \| \{.*\n \| = NN \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n = \| \| \|.*\n \| \| \(6\) first 'free' here.*\= n \|.*\n <------\+.*\n \|.*\n 'test_2': events 7-10.*\= n \|.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| \|= \^~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(7\) returning to 'test_2' from 'calls_free_2'.*\n \|\.\.\.\.\= .\..*\n \| NN \| switch \(b\).*\n \| \| ~~~~~~\n \|= \| \|.*\n \| \| \(8\) following 'default:' branch\.\.= \..*\n \| NN \| \{.*\n \| NN \| default:.*\n \| = \| ~~~~~~~\n \| \| \|.*\n \| \| \(9\) \.= \.\.to here.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \= | \(10\) passing freed pointer 'ptr' in call to 'calls_free_2' fr= om 'test_2'.*\n \|.*\n \+--> 'calls_free_2': events 11-12.*\n = \|.*\n \| NN \| void calls_free_2 \(void \*ptr\).*\n= \| \| \^~~~~~~~~~~~\n \| \| \|= .*\n \| \| \(11\) entry to 'calls_free_2'.*\n = \| NN \| \{.*\n \| NN \| free \(ptr\);.*\n = \| \| ~~~~~~~~~~\n \| \| \|.*\n \|= \| \(12\) second 'free' here; first 'free' was at \(6\).*\n = \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-2.c expected multiline pattern= lines 24-86 not found: "\s*NN \| free \(ptr\);.*\n \| \^~~~~~= ~~~~\n 'test_1': events 1-4.*\n \|.*\n \| NN \| void test_1 \(= void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_1'.*\n \| N= N \| \{.*\n \| NN \| if \(a\).*\n \| \| ~\n \| = \| \|.*\n \| \| \(2\) following 'true' branch \(w= hen 'a !=3D 0'\)\.\.\..*\n \| NN \| calls_free_1 \(ptr\);.*\n = \| \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| = \| \(3\) \.\.\.to here.*\n \| \| \(4\) calling 'cal= ls_free_1' from 'test_1'.*\n \|.*\n \+--> 'calls_free_1': events = 5-6.*\n \|.*\n \| NN \| void calls_free_1 \(void = \*ptr\).*\n \| \| \^~~~~~~~~~~~\n \| = \| \|.*\n \| \| \(5\) entry to 'calls_free_1'= .*\n \| NN \| \{.*\n \| NN \| free \(ptr\);.*= \n \| \| ~~~~~~~~~~\n \| \| \|.*\n = \| \| \(6\) first 'free' here.*\n \|.*\n <-= -----\+.*\n \|.*\n 'test_1': events 7-10.*\n \|.*\n \| NN \= | calls_free_1 \(ptr\);.*\n \| \| \^~~~~~~~~~~~~~~~~~\n= \| \| \|.*\n \| \| \(7\) returning to 'test_1'= from 'calls_free_1'.*\n \| NN \| .*\n \| NN \| if \(b\).*\= n \| \| ~\n \| \| \|.*\n \| \| \= (8\) following 'false' branch \(when 'b =3D=3D 0'\)\.\.\..*\n \|\.\.= \.\.\.\..*\n \| NN \| calls_free_1 \(ptr\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(9= \) \.\.\.to here.*\n \| \| \(10\) passing freed pointer 'pt= r' in call to 'calls_free_1' from 'test_1'.*\n \|.*\n \+--> 'call= s_free_1': events 11-12.*\n \|.*\n \| NN \| void = calls_free_1 \(void \*ptr\).*\n \| \| \^~~~~~~~~~~~= \n \| \| \|.*\n \| \| \(11\) en= try to 'calls_free_1'.*\n \| NN \| \{.*\n \| NN= \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n \= | \| \|.*\n \| \| \(12\) second 'free' here; fi= rst 'free' was at \(6\).*\n \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-2.c expected multiline pattern= lines 24-86 not found: "\s*NN \| free \(ptr\);.*\n \| \^~~~~~= ~~~~\n 'test_1': events 1-4.*\n \|.*\n \| NN \| void test_1 \(= void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_1'.*\n \| N= N \| \{.*\n \| NN \| if \(a\).*\n \| \| ~\n \| = \| \|.*\n \| \| \(2\) following 'true' branch \(w= hen 'a !=3D 0'\)\.\.\..*\n \| NN \| calls_free_1 \(ptr\);.*\n = \| \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| = \| \(3\) \.\.\.to here.*\n \| \| \(4\) calling 'cal= ls_free_1' from 'test_1'.*\n \|.*\n \+--> 'calls_free_1': events = 5-6.*\n \|.*\n \| NN \| void calls_free_1 \(void = \*ptr\).*\n \| \| \^~~~~~~~~~~~\n \| = \| \|.*\n \| \| \(5\) entry to 'calls_free_1'= .*\n \| NN \| \{.*\n \| NN \| free \(ptr\);.*= \n \| \| ~~~~~~~~~~\n \| \| \|.*\n = \| \| \(6\) first 'free' here.*\n \|.*\n <-= -----\+.*\n \|.*\n 'test_1': events 7-10.*\n \|.*\n \| NN \= | calls_free_1 \(ptr\);.*\n \| \| \^~~~~~~~~~~~~~~~~~\n= \| \| \|.*\n \| \| \(7\) returning to 'test_1'= from 'calls_free_1'.*\n \| NN \| .*\n \| NN \| if \(b\).*\= n \| \| ~\n \| \| \|.*\n \| \| \= (8\) following 'false' branch \(when 'b =3D=3D 0'\)\.\.\..*\n \|\.\.= \.\.\.\..*\n \| NN \| calls_free_1 \(ptr\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(9= \) \.\.\.to here.*\n \| \| \(10\) passing freed pointer 'pt= r' in call to 'calls_free_1' from 'test_1'.*\n \|.*\n \+--> 'call= s_free_1': events 11-12.*\n \|.*\n \| NN \| void = calls_free_1 \(void \*ptr\).*\n \| \| \^~~~~~~~~~~~= \n \| \| \|.*\n \| \| \(11\) en= try to 'calls_free_1'.*\n \| NN \| \{.*\n \| NN= \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n \= | \| \|.*\n \| \| \(12\) second 'free' here; fi= rst 'free' was at \(6\).*\n \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-2.c expected multiline pattern= lines 24-86 not found: "\s*NN \| free \(ptr\);.*\n \| \^~~~~~= ~~~~\n 'test_1': events 1-4.*\n \|.*\n \| NN \| void test_1 \(= void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_1'.*\n \| N= N \| \{.*\n \| NN \| if \(a\).*\n \| \| ~\n \| = \| \|.*\n \| \| \(2\) following 'true' branch \(w= hen 'a !=3D 0'\)\.\.\..*\n \| NN \| calls_free_1 \(ptr\);.*\n = \| \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| = \| \(3\) \.\.\.to here.*\n \| \| \(4\) calling 'cal= ls_free_1' from 'test_1'.*\n \|.*\n \+--> 'calls_free_1': events = 5-6.*\n \|.*\n \| NN \| void calls_free_1 \(void = \*ptr\).*\n \| \| \^~~~~~~~~~~~\n \| = \| \|.*\n \| \| \(5\) entry to 'calls_free_1'= .*\n \| NN \| \{.*\n \| NN \| free \(ptr\);.*= \n \| \| ~~~~~~~~~~\n \| \| \|.*\n = \| \| \(6\) first 'free' here.*\n \|.*\n <-= -----\+.*\n \|.*\n 'test_1': events 7-10.*\n \|.*\n \| NN \= | calls_free_1 \(ptr\);.*\n \| \| \^~~~~~~~~~~~~~~~~~\n= \| \| \|.*\n \| \| \(7\) returning to 'test_1'= from 'calls_free_1'.*\n \| NN \| .*\n \| NN \| if \(b\).*\= n \| \| ~\n \| \| \|.*\n \| \| \= (8\) following 'false' branch \(when 'b =3D=3D 0'\)\.\.\..*\n \|\.\.= \.\.\.\..*\n \| NN \| calls_free_1 \(ptr\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(9= \) \.\.\.to here.*\n \| \| \(10\) passing freed pointer 'pt= r' in call to 'calls_free_1' from 'test_1'.*\n \|.*\n \+--> 'call= s_free_1': events 11-12.*\n \|.*\n \| NN \| void = calls_free_1 \(void \*ptr\).*\n \| \| \^~~~~~~~~~~~= \n \| \| \|.*\n \| \| \(11\) en= try to 'calls_free_1'.*\n \| NN \| \{.*\n \| NN= \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n \= | \| \|.*\n \| \| \(12\) second 'free' here; fi= rst 'free' was at \(6\).*\n \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-2.c (test for excess errors) FAIL: gcc.dg/analyzer/analyzer-verbosity-2.c (test for excess errors) FAIL: gcc.dg/analyzer/analyzer-verbosity-2.c (test for excess errors) FAIL: gcc.dg/analyzer/analyzer-verbosity-3.c expected multiline pattern= lines 120-189 not found: " NN \| free \(ptr\);.*\n \| \^~~~= ~~~~~~\n 'test_2': events 1-4.*\n \|.*\n \| NN \| void test_2 = \(void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_2'.*\n \| = NN \| \{.*\n \| NN \| switch \(a\).*\n \| \| ~~~~~~\n= \| \| \|.*\n \| \| \(2\) following 'case 3:' branc= h\.\.\..*\n \|\.\.\.\.\.\..*\n \| NN \| case 3:.*\n \| = \| ~~~~\n \| \| \|.*\n \| \| \(3\) \.\.= \.to here.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(4\) calling 'calls_free_2' from 'test_2'.*\n \|.*\n \+-->= 'calls_free_2': events 5-6.*\n \|.*\n \| NN \| v= oid calls_free_2 \(void \*ptr\).*\n \| \| \^~~~~~~~= ~~~~\n \| \| \|.*\n \| \| \(5\)= entry to 'calls_free_2'.*\n \| NN \| \{.*\n \| = NN \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n = \| \| \|.*\n \| \| \(6\) first 'free' here.*\= n \|.*\n <------\+.*\n \|.*\n 'test_2': events 7-10.*\= n \|.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| \|= \^~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(7\) returning to 'test_2' from 'calls_free_2'.*\n \|\.\.\.\.\= .\..*\n \| NN \| switch \(b\).*\n \| \| ~~~~~~\n \|= \| \|.*\n \| \| \(8\) following 'default:' branch\.\.= \..*\n \| NN \| \{.*\n \| NN \| default:.*\n \| = \| ~~~~~~~\n \| \| \|.*\n \| \| \(9\) \.= \.\.to here.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \= | \(10\) passing freed pointer 'ptr' in call to 'calls_free_2' fr= om 'test_2'.*\n \|.*\n \+--> 'calls_free_2': events 11-12.*\n = \|.*\n \| NN \| void calls_free_2 \(void \*ptr\).*\n= \| \| \^~~~~~~~~~~~\n \| \| \|= .*\n \| \| \(11\) entry to 'calls_free_2'.*\n = \| NN \| \{.*\n \| NN \| free \(ptr\);.*\n = \| \| ~~~~~~~~~~\n \| \| \|.*\n \|= \| \(12\) second 'free' here; first 'free' was at \(6\).*\n = \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-3.c expected multiline pattern= lines 120-189 not found: " NN \| free \(ptr\);.*\n \| \^~~~= ~~~~~~\n 'test_2': events 1-4.*\n \|.*\n \| NN \| void test_2 = \(void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_2'.*\n \| = NN \| \{.*\n \| NN \| switch \(a\).*\n \| \| ~~~~~~\n= \| \| \|.*\n \| \| \(2\) following 'case 3:' branc= h\.\.\..*\n \|\.\.\.\.\.\..*\n \| NN \| case 3:.*\n \| = \| ~~~~\n \| \| \|.*\n \| \| \(3\) \.\.= \.to here.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(4\) calling 'calls_free_2' from 'test_2'.*\n \|.*\n \+-->= 'calls_free_2': events 5-6.*\n \|.*\n \| NN \| v= oid calls_free_2 \(void \*ptr\).*\n \| \| \^~~~~~~~= ~~~~\n \| \| \|.*\n \| \| \(5\)= entry to 'calls_free_2'.*\n \| NN \| \{.*\n \| = NN \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n = \| \| \|.*\n \| \| \(6\) first 'free' here.*\= n \|.*\n <------\+.*\n \|.*\n 'test_2': events 7-10.*\= n \|.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| \|= \^~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(7\) returning to 'test_2' from 'calls_free_2'.*\n \|\.\.\.\.\= .\..*\n \| NN \| switch \(b\).*\n \| \| ~~~~~~\n \|= \| \|.*\n \| \| \(8\) following 'default:' branch\.\.= \..*\n \| NN \| \{.*\n \| NN \| default:.*\n \| = \| ~~~~~~~\n \| \| \|.*\n \| \| \(9\) \.= \.\.to here.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \= | \(10\) passing freed pointer 'ptr' in call to 'calls_free_2' fr= om 'test_2'.*\n \|.*\n \+--> 'calls_free_2': events 11-12.*\n = \|.*\n \| NN \| void calls_free_2 \(void \*ptr\).*\n= \| \| \^~~~~~~~~~~~\n \| \| \|= .*\n \| \| \(11\) entry to 'calls_free_2'.*\n = \| NN \| \{.*\n \| NN \| free \(ptr\);.*\n = \| \| ~~~~~~~~~~\n \| \| \|.*\n \|= \| \(12\) second 'free' here; first 'free' was at \(6\).*\n = \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-3.c expected multiline pattern= lines 120-189 not found: " NN \| free \(ptr\);.*\n \| \^~~~= ~~~~~~\n 'test_2': events 1-4.*\n \|.*\n \| NN \| void test_2 = \(void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_2'.*\n \| = NN \| \{.*\n \| NN \| switch \(a\).*\n \| \| ~~~~~~\n= \| \| \|.*\n \| \| \(2\) following 'case 3:' branc= h\.\.\..*\n \|\.\.\.\.\.\..*\n \| NN \| case 3:.*\n \| = \| ~~~~\n \| \| \|.*\n \| \| \(3\) \.\.= \.to here.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(4\) calling 'calls_free_2' from 'test_2'.*\n \|.*\n \+-->= 'calls_free_2': events 5-6.*\n \|.*\n \| NN \| v= oid calls_free_2 \(void \*ptr\).*\n \| \| \^~~~~~~~= ~~~~\n \| \| \|.*\n \| \| \(5\)= entry to 'calls_free_2'.*\n \| NN \| \{.*\n \| = NN \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n = \| \| \|.*\n \| \| \(6\) first 'free' here.*\= n \|.*\n <------\+.*\n \|.*\n 'test_2': events 7-10.*\= n \|.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| \|= \^~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| = \(7\) returning to 'test_2' from 'calls_free_2'.*\n \|\.\.\.\.\= .\..*\n \| NN \| switch \(b\).*\n \| \| ~~~~~~\n \|= \| \|.*\n \| \| \(8\) following 'default:' branch\.\.= \..*\n \| NN \| \{.*\n \| NN \| default:.*\n \| = \| ~~~~~~~\n \| \| \|.*\n \| \| \(9\) \.= \.\.to here.*\n \| NN \| calls_free_2 \(ptr\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \= | \(10\) passing freed pointer 'ptr' in call to 'calls_free_2' fr= om 'test_2'.*\n \|.*\n \+--> 'calls_free_2': events 11-12.*\n = \|.*\n \| NN \| void calls_free_2 \(void \*ptr\).*\n= \| \| \^~~~~~~~~~~~\n \| \| \|= .*\n \| \| \(11\) entry to 'calls_free_2'.*\n = \| NN \| \{.*\n \| NN \| free \(ptr\);.*\n = \| \| ~~~~~~~~~~\n \| \| \|.*\n \|= \| \(12\) second 'free' here; first 'free' was at \(6\).*\n = \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-3.c expected multiline pattern= lines 24-86 not found: "\s*NN \| free \(ptr\);.*\n \| \^~~~~~= ~~~~\n 'test_1': events 1-4.*\n \|.*\n \| NN \| void test_1 \(= void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_1'.*\n \| N= N \| \{.*\n \| NN \| if \(a\).*\n \| \| ~\n \| = \| \|.*\n \| \| \(2\) following 'true' branch \(w= hen 'a !=3D 0'\)\.\.\..*\n \| NN \| calls_free_1 \(ptr\);.*\n = \| \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| = \| \(3\) \.\.\.to here.*\n \| \| \(4\) calling 'cal= ls_free_1' from 'test_1'.*\n \|.*\n \+--> 'calls_free_1': events = 5-6.*\n \|.*\n \| NN \| void calls_free_1 \(void = \*ptr\).*\n \| \| \^~~~~~~~~~~~\n \| = \| \|.*\n \| \| \(5\) entry to 'calls_free_1'= .*\n \| NN \| \{.*\n \| NN \| free \(ptr\);.*= \n \| \| ~~~~~~~~~~\n \| \| \|.*\n = \| \| \(6\) first 'free' here.*\n \|.*\n <-= -----\+.*\n \|.*\n 'test_1': events 7-10.*\n \|.*\n \| NN \= | calls_free_1 \(ptr\);.*\n \| \| \^~~~~~~~~~~~~~~~~~\n= \| \| \|.*\n \| \| \(7\) returning to 'test_1'= from 'calls_free_1'.*\n \| NN \| .*\n \| NN \| if \(b\).*\= n \| \| ~\n \| \| \|.*\n \| \| \= (8\) following 'false' branch \(when 'b =3D=3D 0'\)\.\.\..*\n \|\.\.= \.\.\.\..*\n \| NN \| calls_free_1 \(ptr\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(9= \) \.\.\.to here.*\n \| \| \(10\) passing freed pointer 'pt= r' in call to 'calls_free_1' from 'test_1'.*\n \|.*\n \+--> 'call= s_free_1': events 11-12.*\n \|.*\n \| NN \| void = calls_free_1 \(void \*ptr\).*\n \| \| \^~~~~~~~~~~~= \n \| \| \|.*\n \| \| \(11\) en= try to 'calls_free_1'.*\n \| NN \| \{.*\n \| NN= \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n \= | \| \|.*\n \| \| \(12\) second 'free' here; fi= rst 'free' was at \(6\).*\n \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-3.c expected multiline pattern= lines 24-86 not found: "\s*NN \| free \(ptr\);.*\n \| \^~~~~~= ~~~~\n 'test_1': events 1-4.*\n \|.*\n \| NN \| void test_1 \(= void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_1'.*\n \| N= N \| \{.*\n \| NN \| if \(a\).*\n \| \| ~\n \| = \| \|.*\n \| \| \(2\) following 'true' branch \(w= hen 'a !=3D 0'\)\.\.\..*\n \| NN \| calls_free_1 \(ptr\);.*\n = \| \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| = \| \(3\) \.\.\.to here.*\n \| \| \(4\) calling 'cal= ls_free_1' from 'test_1'.*\n \|.*\n \+--> 'calls_free_1': events = 5-6.*\n \|.*\n \| NN \| void calls_free_1 \(void = \*ptr\).*\n \| \| \^~~~~~~~~~~~\n \| = \| \|.*\n \| \| \(5\) entry to 'calls_free_1'= .*\n \| NN \| \{.*\n \| NN \| free \(ptr\);.*= \n \| \| ~~~~~~~~~~\n \| \| \|.*\n = \| \| \(6\) first 'free' here.*\n \|.*\n <-= -----\+.*\n \|.*\n 'test_1': events 7-10.*\n \|.*\n \| NN \= | calls_free_1 \(ptr\);.*\n \| \| \^~~~~~~~~~~~~~~~~~\n= \| \| \|.*\n \| \| \(7\) returning to 'test_1'= from 'calls_free_1'.*\n \| NN \| .*\n \| NN \| if \(b\).*\= n \| \| ~\n \| \| \|.*\n \| \| \= (8\) following 'false' branch \(when 'b =3D=3D 0'\)\.\.\..*\n \|\.\.= \.\.\.\..*\n \| NN \| calls_free_1 \(ptr\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(9= \) \.\.\.to here.*\n \| \| \(10\) passing freed pointer 'pt= r' in call to 'calls_free_1' from 'test_1'.*\n \|.*\n \+--> 'call= s_free_1': events 11-12.*\n \|.*\n \| NN \| void = calls_free_1 \(void \*ptr\).*\n \| \| \^~~~~~~~~~~~= \n \| \| \|.*\n \| \| \(11\) en= try to 'calls_free_1'.*\n \| NN \| \{.*\n \| NN= \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n \= | \| \|.*\n \| \| \(12\) second 'free' here; fi= rst 'free' was at \(6\).*\n \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-3.c expected multiline pattern= lines 24-86 not found: "\s*NN \| free \(ptr\);.*\n \| \^~~~~~= ~~~~\n 'test_1': events 1-4.*\n \|.*\n \| NN \| void test_1 \(= void \*ptr, int a, int b\).*\n \| \| \^~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'test_1'.*\n \| N= N \| \{.*\n \| NN \| if \(a\).*\n \| \| ~\n \| = \| \|.*\n \| \| \(2\) following 'true' branch \(w= hen 'a !=3D 0'\)\.\.\..*\n \| NN \| calls_free_1 \(ptr\);.*\n = \| \| ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| = \| \(3\) \.\.\.to here.*\n \| \| \(4\) calling 'cal= ls_free_1' from 'test_1'.*\n \|.*\n \+--> 'calls_free_1': events = 5-6.*\n \|.*\n \| NN \| void calls_free_1 \(void = \*ptr\).*\n \| \| \^~~~~~~~~~~~\n \| = \| \|.*\n \| \| \(5\) entry to 'calls_free_1'= .*\n \| NN \| \{.*\n \| NN \| free \(ptr\);.*= \n \| \| ~~~~~~~~~~\n \| \| \|.*\n = \| \| \(6\) first 'free' here.*\n \|.*\n <-= -----\+.*\n \|.*\n 'test_1': events 7-10.*\n \|.*\n \| NN \= | calls_free_1 \(ptr\);.*\n \| \| \^~~~~~~~~~~~~~~~~~\n= \| \| \|.*\n \| \| \(7\) returning to 'test_1'= from 'calls_free_1'.*\n \| NN \| .*\n \| NN \| if \(b\).*\= n \| \| ~\n \| \| \|.*\n \| \| \= (8\) following 'false' branch \(when 'b =3D=3D 0'\)\.\.\..*\n \|\.\.= \.\.\.\..*\n \| NN \| calls_free_1 \(ptr\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(9= \) \.\.\.to here.*\n \| \| \(10\) passing freed pointer 'pt= r' in call to 'calls_free_1' from 'test_1'.*\n \|.*\n \+--> 'call= s_free_1': events 11-12.*\n \|.*\n \| NN \| void = calls_free_1 \(void \*ptr\).*\n \| \| \^~~~~~~~~~~~= \n \| \| \|.*\n \| \| \(11\) en= try to 'calls_free_1'.*\n \| NN \| \{.*\n \| NN= \| free \(ptr\);.*\n \| \| ~~~~~~~~~~\n \= | \| \|.*\n \| \| \(12\) second 'free' here; fi= rst 'free' was at \(6\).*\n \|.*\n" FAIL: gcc.dg/analyzer/analyzer-verbosity-3.c (test for excess errors) FAIL: gcc.dg/analyzer/analyzer-verbosity-3.c (test for excess errors) FAIL: gcc.dg/analyzer/analyzer-verbosity-3.c (test for excess errors) FAIL: gcc.dg/analyzer/data-model-path-1.c (test for warnings, line 11) FAIL: gcc.dg/analyzer/data-model-path-1.c (test for warnings, line 11) FAIL: gcc.dg/analyzer/data-model-path-1.c (test for warnings, line 11) FAIL: gcc.dg/analyzer/function-ptr-2.c (test for excess errors) FAIL: gcc.dg/analyzer/function-ptr-2.c (test for excess errors) FAIL: gcc.dg/analyzer/function-ptr-2.c (test for excess errors) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 29) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 29) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 29) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 30) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 30) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 30) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 36) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 36) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 36) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 37) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 37) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 37) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 43) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 43) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 43) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 55) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 55) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 55) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 56) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 56) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 56) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 64) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 64) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 64) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 66) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 66) FAIL: gcc.dg/analyzer/malloc-callbacks.c (test for warnings, line 66) FAIL: gcc.dg/analyzer/malloc-ipa-10.c (test for warnings, line 29) FAIL: gcc.dg/analyzer/malloc-ipa-10.c (test for warnings, line 29) FAIL: gcc.dg/analyzer/malloc-ipa-10.c (test for warnings, line 29) FAIL: gcc.dg/analyzer/malloc-ipa-11.c expected multiline pattern lines = 32-95 not found: "\s*NN \| free \(victim\);.*\n \| \^~~~~~~~~~= ~~~\n 'test': events 1-2.*\n \|.*\n \| NN \| void test \(void = \*ptr\).*\n \| \| \^~~~\n \| \| \|.*\n \| = \| \(1\) entry to 'test'.*\n \|\.\.\.\.\.\..*\n \| NN= \| may_call_free \(ptr\);.*\n \| \| ~~~~~~~~~~~~~~~~~~~\n = \| \| \|.*\n \| \| \(2\) calling 'may_call_free' fr= om 'test'.*\n \|.*\n \+--> 'may_call_free': events 3-6.*\n = \|.*\n \| NN \| may_call_free \(void \*victim\).*\n = \| \| \^~~~~~~~~~~~~\n \| \| \|.*\n = \| \| \(3\) entry to 'may_call_free'.*\n \| NN \| \{= .*\n \| NN \| if \(some_condition \(\)\).*\n \|= \| ~\n \| \| \|.*\n \| \|= \(4\) following 'false' branch\.\.\..*\n \|\.\.\.\.\.\.= .*\n \| NN \| free \(victim\);.*\n \| \| = ~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \= (5\) \.\.\.to here.*\n \| \| \(6\) first 'free' here.*= \n \|.*\n <------\+.*\n \|.*\n 'test': events 7-8.*\n = \|.*\n \| NN \| may_call_free \(ptr\);.*\n \| \| \^= ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(7\) retur= ning to 'test' from 'may_call_free'.*\n \|\.\.\.\.\.\..*\n \| N= N \| may_call_free \(ptr\);.*\n \| \| ~~~~~~~~~~~~~~~~~~~\n= \| \| \|.*\n \| \| \(8\) passing freed pointer 'pt= r' in call to 'may_call_free' from 'test'.*\n \|.*\n \+--> 'may_c= all_free': events 9-12.*\n \|.*\n \| NN \| may_ca= ll_free \(void \*victim\).*\n \| \| \^~~~~~~~~~~~~\n = \| \| \|.*\n \| \| \(9\) entry to 'may_call_= free'.*\n \| NN \| \{.*\n \| NN \| if \(some_= condition \(\)\).*\n \| \| ~\n \| \|= \|.*\n \| \| \(10\) following 'false' branch\= .\.\..*\n \|\.\.\.\.\.\..*\n \| NN \| free \(vi= ctim\);.*\n \| \| ~~~~~~~~~~~~~\n \| \|= \|.*\n \| \| \(11\) \.\.\.to here.*\n \| = \| \(12\) second 'free' here; first 'free' was at \(6\).*\n = \|.*\n" FAIL: gcc.dg/analyzer/malloc-ipa-11.c expected multiline pattern lines = 32-95 not found: "\s*NN \| free \(victim\);.*\n \| \^~~~~~~~~~= ~~~\n 'test': events 1-2.*\n \|.*\n \| NN \| void test \(void = \*ptr\).*\n \| \| \^~~~\n \| \| \|.*\n \| = \| \(1\) entry to 'test'.*\n \|\.\.\.\.\.\..*\n \| NN= \| may_call_free \(ptr\);.*\n \| \| ~~~~~~~~~~~~~~~~~~~\n = \| \| \|.*\n \| \| \(2\) calling 'may_call_free' fr= om 'test'.*\n \|.*\n \+--> 'may_call_free': events 3-6.*\n = \|.*\n \| NN \| may_call_free \(void \*victim\).*\n = \| \| \^~~~~~~~~~~~~\n \| \| \|.*\n = \| \| \(3\) entry to 'may_call_free'.*\n \| NN \| \{= .*\n \| NN \| if \(some_condition \(\)\).*\n \|= \| ~\n \| \| \|.*\n \| \|= \(4\) following 'false' branch\.\.\..*\n \|\.\.\.\.\.\.= .*\n \| NN \| free \(victim\);.*\n \| \| = ~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \= (5\) \.\.\.to here.*\n \| \| \(6\) first 'free' here.*= \n \|.*\n <------\+.*\n \|.*\n 'test': events 7-8.*\n = \|.*\n \| NN \| may_call_free \(ptr\);.*\n \| \| \^= ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(7\) retur= ning to 'test' from 'may_call_free'.*\n \|\.\.\.\.\.\..*\n \| N= N \| may_call_free \(ptr\);.*\n \| \| ~~~~~~~~~~~~~~~~~~~\n= \| \| \|.*\n \| \| \(8\) passing freed pointer 'pt= r' in call to 'may_call_free' from 'test'.*\n \|.*\n \+--> 'may_c= all_free': events 9-12.*\n \|.*\n \| NN \| may_ca= ll_free \(void \*victim\).*\n \| \| \^~~~~~~~~~~~~\n = \| \| \|.*\n \| \| \(9\) entry to 'may_call_= free'.*\n \| NN \| \{.*\n \| NN \| if \(some_= condition \(\)\).*\n \| \| ~\n \| \|= \|.*\n \| \| \(10\) following 'false' branch\= .\.\..*\n \|\.\.\.\.\.\..*\n \| NN \| free \(vi= ctim\);.*\n \| \| ~~~~~~~~~~~~~\n \| \|= \|.*\n \| \| \(11\) \.\.\.to here.*\n \| = \| \(12\) second 'free' here; first 'free' was at \(6\).*\n = \|.*\n" FAIL: gcc.dg/analyzer/malloc-ipa-11.c expected multiline pattern lines = 32-95 not found: "\s*NN \| free \(victim\);.*\n \| \^~~~~~~~~~= ~~~\n 'test': events 1-2.*\n \|.*\n \| NN \| void test \(void = \*ptr\).*\n \| \| \^~~~\n \| \| \|.*\n \| = \| \(1\) entry to 'test'.*\n \|\.\.\.\.\.\..*\n \| NN= \| may_call_free \(ptr\);.*\n \| \| ~~~~~~~~~~~~~~~~~~~\n = \| \| \|.*\n \| \| \(2\) calling 'may_call_free' fr= om 'test'.*\n \|.*\n \+--> 'may_call_free': events 3-6.*\n = \|.*\n \| NN \| may_call_free \(void \*victim\).*\n = \| \| \^~~~~~~~~~~~~\n \| \| \|.*\n = \| \| \(3\) entry to 'may_call_free'.*\n \| NN \| \{= .*\n \| NN \| if \(some_condition \(\)\).*\n \|= \| ~\n \| \| \|.*\n \| \|= \(4\) following 'false' branch\.\.\..*\n \|\.\.\.\.\.\.= .*\n \| NN \| free \(victim\);.*\n \| \| = ~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \= (5\) \.\.\.to here.*\n \| \| \(6\) first 'free' here.*= \n \|.*\n <------\+.*\n \|.*\n 'test': events 7-8.*\n = \|.*\n \| NN \| may_call_free \(ptr\);.*\n \| \| \^= ~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(7\) retur= ning to 'test' from 'may_call_free'.*\n \|\.\.\.\.\.\..*\n \| N= N \| may_call_free \(ptr\);.*\n \| \| ~~~~~~~~~~~~~~~~~~~\n= \| \| \|.*\n \| \| \(8\) passing freed pointer 'pt= r' in call to 'may_call_free' from 'test'.*\n \|.*\n \+--> 'may_c= all_free': events 9-12.*\n \|.*\n \| NN \| may_ca= ll_free \(void \*victim\).*\n \| \| \^~~~~~~~~~~~~\n = \| \| \|.*\n \| \| \(9\) entry to 'may_call_= free'.*\n \| NN \| \{.*\n \| NN \| if \(some_= condition \(\)\).*\n \| \| ~\n \| \|= \|.*\n \| \| \(10\) following 'false' branch\= .\.\..*\n \|\.\.\.\.\.\..*\n \| NN \| free \(vi= ctim\);.*\n \| \| ~~~~~~~~~~~~~\n \| \|= \|.*\n \| \| \(11\) \.\.\.to here.*\n \| = \| \(12\) second 'free' here; first 'free' was at \(6\).*\n = \|.*\n" FAIL: gcc.dg/analyzer/malloc-ipa-11.c (test for excess errors) FAIL: gcc.dg/analyzer/malloc-ipa-11.c (test for excess errors) FAIL: gcc.dg/analyzer/malloc-ipa-11.c (test for excess errors) FAIL: gcc.dg/analyzer/malloc-ipa-13a.c (test for warnings, line 36) FAIL: gcc.dg/analyzer/malloc-ipa-13a.c (test for warnings, line 36) FAIL: gcc.dg/analyzer/malloc-ipa-13a.c (test for warnings, line 36) FAIL: gcc.dg/analyzer/malloc-ipa-13.c (test for warnings, line 26) FAIL: gcc.dg/analyzer/malloc-ipa-13.c (test for warnings, line 26) FAIL: gcc.dg/analyzer/malloc-ipa-13.c (test for warnings, line 26) FAIL: gcc.dg/analyzer/malloc-ipa-2.c (test for warnings, line 28) FAIL: gcc.dg/analyzer/malloc-ipa-2.c (test for warnings, line 28) FAIL: gcc.dg/analyzer/malloc-ipa-2.c (test for warnings, line 28) FAIL: gcc.dg/analyzer/malloc-ipa-5.c (test for warnings, line 10) FAIL: gcc.dg/analyzer/malloc-ipa-5.c (test for warnings, line 10) FAIL: gcc.dg/analyzer/malloc-ipa-5.c (test for warnings, line 10) FAIL: gcc.dg/analyzer/malloc-ipa-8-double-free.c expected multiline pat= tern lines 50-191 not found: "\s*NN \| free \(ptr\);.*\n \| \^= ~~~~~~~~~\n 'test': events 1-2.*\n \|.*\n \| NN \| void test \= (int i\).*\n \| \| \^~~~\n \| \| \|.*\n \|= \| \(1\) entry to 'test'.*\n \| NN \| \{.*\n \| NN= \| boxed_int \*obj =3D make_boxed_int \(i\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~\n \| \| \|.= *\n \| \| \(2\) calling 'make_boxed_int' fro= m 'test'.*\n \|.*\n \+--> 'make_boxed_int': events 3-4.*\n = \|.*\n \| NN \| make_boxed_int \(int i\).*\n = \| \| \^~~~~~~~~~~~~~\n \| \| \|.*\n \| = \| \(3\) entry to 'make_boxed_int'.*\n \| NN \| \{.*\n = \| NN \| boxed_int \*result =3D \(boxed_int \*\)wrapped_m= alloc \(sizeof \(boxed_int\)\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n \|= \| \|.*\n \| \|= \(4\) calling 'wrapped_malloc' from= 'make_boxed_int'.*\n \|.*\n \+--> 'wrapped_malloc'= : events 5-6.*\n \|.*\n \| NN \| vo= id \*wrapped_malloc \(size_t size\).*\n \| \| = \^~~~~~~~~~~~~~\n \| \| \|.*\n = \| \| \(5\) entry to 'wrapped_malloc'.*\n = \| NN \| \{.*\n \| NN \| return malloc \(= size\);.*\n \| \| ~~~~~~~~~~~~~\n = \| \| \|.*\n \| \| = \(6\) allocated here.*\n \|.*\n <------\= +.*\n \|.*\n 'make_boxed_int': events 7-10.*\n = \|.*\n \| NN \| boxed_int \*result =3D \(boxed_int \*= \)wrapped_malloc \(sizeof \(boxed_int\)\);.*\n \| \| = \^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n = \| \| \|.*\n = \| \| \(7\) returning to 'mak= e_boxed_int' from 'wrapped_malloc'.*\n \| NN \| if \(!res= ult\).*\n \| \| ~ .*\n= \| \| \|.*\n \| \| \(8\) assum= ing 'result' is non-NULL.*\n \| \| \(9\) following = 'false' branch \(when 'result' is non-NULL\)\.\.\..*\n \| N= N \| abort \(\);.*\n \| NN \| result->i =3D i;.*\n = \| \| ~~~~~~~~~~~~~ .*\n \= | \| \|.*\n \| \| \(10\) \.= \.\.to here.*\n \|.*\n <------\+.*\n \|.*\n 'test': ev= ents 11-12.*\n \|.*\n \| NN \| boxed_int \*obj =3D make_boxed= _int \(i\);.*\n \| \| \^~~~~~~~~~~~~~~~~~\n = \| \| \|.*\n \| \| = \(11\) returning to 'test' from 'make_boxed_int'.*\n \| NN \| .*= \n \| NN \| free_boxed_int \(obj\);.*\n \| \| ~~~~~~~~= ~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(12\) calling 'f= ree_boxed_int' from 'test'.*\n \|.*\n \+--> 'free_boxed_int': eve= nts 13-14.*\n \|.*\n \| NN \| free_boxed_int \(bo= xed_int \*bi\).*\n \| \| \^~~~~~~~~~~~~~\n \| = \| \|.*\n \| \| \(13\) entry to 'free_boxed_int'.*\= n \| NN \| \{.*\n \| NN \| wrapped_free \(bi\= );.*\n \| \| ~~~~~~~~~~~~~~~~~\n \| \| = \|.*\n \| \| \(14\) calling 'wrapped_free' from 'fre= e_boxed_int'.*\n \|.*\n \+--> 'wrapped_free': event= s 15-16.*\n \|.*\n \| NN \| void wr= apped_free \(void \*ptr\).*\n \| \| \^~~~~~~= ~~~~~\n \| \| \|.*\n \| = \| \(15\) entry to 'wrapped_free'.*\n \| NN \= | \{.*\n \| NN \| free \(ptr\);.*\n = \| \| ~~~~~~~~~~\n \| \| \|.*\n = \| \| \(16\) first 'free' here.*\n = \|.*\n <------\+.*\n \|.*\n 'free_boxed_int= ': event 17.*\n \|.*\n \| NN \| wrapped_free \(= bi\);.*\n \| \| \^~~~~~~~~~~~~~~~~\n \| = \| \|.*\n \| \| \(17\) returning to 'free_boxed_int= ' from 'wrapped_free'.*\n \|.*\n <------\+.*\n \|.*\n = 'test': events 18-19.*\n \|.*\n \| NN \| free_boxed_int \(obj= \);.*\n \| \| \^~~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n = \| \| \(18\) returning to 'test' from 'free_boxed_int'.*\n = \| NN \| .*\n \| NN \| free_boxed_int \(obj\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(1= 9\) passing freed pointer 'obj' in call to 'free_boxed_int' from 'test'= .*\n \|.*\n \+--> 'free_boxed_int': events 20-21.*\n \|= .*\n \| NN \| free_boxed_int \(boxed_int \*bi\).*\n = \| \| \^~~~~~~~~~~~~~\n \| \| \|.*\n \= | \| \(20\) entry to 'free_boxed_int'.*\n \| NN \| \{.= *\n \| NN \| wrapped_free \(bi\);.*\n \| \= | ~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| = \| \(21\) passing freed pointer 'bi' in call to 'wrapped_free' from = 'free_boxed_int'.*\n \|.*\n \+--> 'wrapped_free': e= vents 22-23.*\n \|.*\n \| NN \| voi= d wrapped_free \(void \*ptr\).*\n \| \| \^~~= ~~~~~~~~~\n \| \| \|.*\n \|= \| \(22\) entry to 'wrapped_free'.*\n \| = NN \| \{.*\n \| NN \| free \(ptr\);.*\n = \| \| ~~~~~~~~~~\n \| \| \|.*\n = \| \| \(23\) second 'free' here; first 'free' wa= s at \(16\).*\n \|.*\n" FAIL: gcc.dg/analyzer/malloc-ipa-8-double-free.c expected multiline pat= tern lines 50-191 not found: "\s*NN \| free \(ptr\);.*\n \| \^= ~~~~~~~~~\n 'test': events 1-2.*\n \|.*\n \| NN \| void test \= (int i\).*\n \| \| \^~~~\n \| \| \|.*\n \|= \| \(1\) entry to 'test'.*\n \| NN \| \{.*\n \| NN= \| boxed_int \*obj =3D make_boxed_int \(i\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~\n \| \| \|.= *\n \| \| \(2\) calling 'make_boxed_int' fro= m 'test'.*\n \|.*\n \+--> 'make_boxed_int': events 3-4.*\n = \|.*\n \| NN \| make_boxed_int \(int i\).*\n = \| \| \^~~~~~~~~~~~~~\n \| \| \|.*\n \| = \| \(3\) entry to 'make_boxed_int'.*\n \| NN \| \{.*\n = \| NN \| boxed_int \*result =3D \(boxed_int \*\)wrapped_m= alloc \(sizeof \(boxed_int\)\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n \|= \| \|.*\n \| \|= \(4\) calling 'wrapped_malloc' from= 'make_boxed_int'.*\n \|.*\n \+--> 'wrapped_malloc'= : events 5-6.*\n \|.*\n \| NN \| vo= id \*wrapped_malloc \(size_t size\).*\n \| \| = \^~~~~~~~~~~~~~\n \| \| \|.*\n = \| \| \(5\) entry to 'wrapped_malloc'.*\n = \| NN \| \{.*\n \| NN \| return malloc \(= size\);.*\n \| \| ~~~~~~~~~~~~~\n = \| \| \|.*\n \| \| = \(6\) allocated here.*\n \|.*\n <------\= +.*\n \|.*\n 'make_boxed_int': events 7-10.*\n = \|.*\n \| NN \| boxed_int \*result =3D \(boxed_int \*= \)wrapped_malloc \(sizeof \(boxed_int\)\);.*\n \| \| = \^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n = \| \| \|.*\n = \| \| \(7\) returning to 'mak= e_boxed_int' from 'wrapped_malloc'.*\n \| NN \| if \(!res= ult\).*\n \| \| ~ .*\n= \| \| \|.*\n \| \| \(8\) assum= ing 'result' is non-NULL.*\n \| \| \(9\) following = 'false' branch \(when 'result' is non-NULL\)\.\.\..*\n \| N= N \| abort \(\);.*\n \| NN \| result->i =3D i;.*\n = \| \| ~~~~~~~~~~~~~ .*\n \= | \| \|.*\n \| \| \(10\) \.= \.\.to here.*\n \|.*\n <------\+.*\n \|.*\n 'test': ev= ents 11-12.*\n \|.*\n \| NN \| boxed_int \*obj =3D make_boxed= _int \(i\);.*\n \| \| \^~~~~~~~~~~~~~~~~~\n = \| \| \|.*\n \| \| = \(11\) returning to 'test' from 'make_boxed_int'.*\n \| NN \| .*= \n \| NN \| free_boxed_int \(obj\);.*\n \| \| ~~~~~~~~= ~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(12\) calling 'f= ree_boxed_int' from 'test'.*\n \|.*\n \+--> 'free_boxed_int': eve= nts 13-14.*\n \|.*\n \| NN \| free_boxed_int \(bo= xed_int \*bi\).*\n \| \| \^~~~~~~~~~~~~~\n \| = \| \|.*\n \| \| \(13\) entry to 'free_boxed_int'.*\= n \| NN \| \{.*\n \| NN \| wrapped_free \(bi\= );.*\n \| \| ~~~~~~~~~~~~~~~~~\n \| \| = \|.*\n \| \| \(14\) calling 'wrapped_free' from 'fre= e_boxed_int'.*\n \|.*\n \+--> 'wrapped_free': event= s 15-16.*\n \|.*\n \| NN \| void wr= apped_free \(void \*ptr\).*\n \| \| \^~~~~~~= ~~~~~\n \| \| \|.*\n \| = \| \(15\) entry to 'wrapped_free'.*\n \| NN \= | \{.*\n \| NN \| free \(ptr\);.*\n = \| \| ~~~~~~~~~~\n \| \| \|.*\n = \| \| \(16\) first 'free' here.*\n = \|.*\n <------\+.*\n \|.*\n 'free_boxed_int= ': event 17.*\n \|.*\n \| NN \| wrapped_free \(= bi\);.*\n \| \| \^~~~~~~~~~~~~~~~~\n \| = \| \|.*\n \| \| \(17\) returning to 'free_boxed_int= ' from 'wrapped_free'.*\n \|.*\n <------\+.*\n \|.*\n = 'test': events 18-19.*\n \|.*\n \| NN \| free_boxed_int \(obj= \);.*\n \| \| \^~~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n = \| \| \(18\) returning to 'test' from 'free_boxed_int'.*\n = \| NN \| .*\n \| NN \| free_boxed_int \(obj\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(1= 9\) passing freed pointer 'obj' in call to 'free_boxed_int' from 'test'= .*\n \|.*\n \+--> 'free_boxed_int': events 20-21.*\n \|= .*\n \| NN \| free_boxed_int \(boxed_int \*bi\).*\n = \| \| \^~~~~~~~~~~~~~\n \| \| \|.*\n \= | \| \(20\) entry to 'free_boxed_int'.*\n \| NN \| \{.= *\n \| NN \| wrapped_free \(bi\);.*\n \| \= | ~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| = \| \(21\) passing freed pointer 'bi' in call to 'wrapped_free' from = 'free_boxed_int'.*\n \|.*\n \+--> 'wrapped_free': e= vents 22-23.*\n \|.*\n \| NN \| voi= d wrapped_free \(void \*ptr\).*\n \| \| \^~~= ~~~~~~~~~\n \| \| \|.*\n \|= \| \(22\) entry to 'wrapped_free'.*\n \| = NN \| \{.*\n \| NN \| free \(ptr\);.*\n = \| \| ~~~~~~~~~~\n \| \| \|.*\n = \| \| \(23\) second 'free' here; first 'free' wa= s at \(16\).*\n \|.*\n" FAIL: gcc.dg/analyzer/malloc-ipa-8-double-free.c expected multiline pat= tern lines 50-191 not found: "\s*NN \| free \(ptr\);.*\n \| \^= ~~~~~~~~~\n 'test': events 1-2.*\n \|.*\n \| NN \| void test \= (int i\).*\n \| \| \^~~~\n \| \| \|.*\n \|= \| \(1\) entry to 'test'.*\n \| NN \| \{.*\n \| NN= \| boxed_int \*obj =3D make_boxed_int \(i\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~\n \| \| \|.= *\n \| \| \(2\) calling 'make_boxed_int' fro= m 'test'.*\n \|.*\n \+--> 'make_boxed_int': events 3-4.*\n = \|.*\n \| NN \| make_boxed_int \(int i\).*\n = \| \| \^~~~~~~~~~~~~~\n \| \| \|.*\n \| = \| \(3\) entry to 'make_boxed_int'.*\n \| NN \| \{.*\n = \| NN \| boxed_int \*result =3D \(boxed_int \*\)wrapped_m= alloc \(sizeof \(boxed_int\)\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n \|= \| \|.*\n \| \|= \(4\) calling 'wrapped_malloc' from= 'make_boxed_int'.*\n \|.*\n \+--> 'wrapped_malloc'= : events 5-6.*\n \|.*\n \| NN \| vo= id \*wrapped_malloc \(size_t size\).*\n \| \| = \^~~~~~~~~~~~~~\n \| \| \|.*\n = \| \| \(5\) entry to 'wrapped_malloc'.*\n = \| NN \| \{.*\n \| NN \| return malloc \(= size\);.*\n \| \| ~~~~~~~~~~~~~\n = \| \| \|.*\n \| \| = \(6\) allocated here.*\n \|.*\n <------\= +.*\n \|.*\n 'make_boxed_int': events 7-10.*\n = \|.*\n \| NN \| boxed_int \*result =3D \(boxed_int \*= \)wrapped_malloc \(sizeof \(boxed_int\)\);.*\n \| \| = \^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n = \| \| \|.*\n = \| \| \(7\) returning to 'mak= e_boxed_int' from 'wrapped_malloc'.*\n \| NN \| if \(!res= ult\).*\n \| \| ~ .*\n= \| \| \|.*\n \| \| \(8\) assum= ing 'result' is non-NULL.*\n \| \| \(9\) following = 'false' branch \(when 'result' is non-NULL\)\.\.\..*\n \| N= N \| abort \(\);.*\n \| NN \| result->i =3D i;.*\n = \| \| ~~~~~~~~~~~~~ .*\n \= | \| \|.*\n \| \| \(10\) \.= \.\.to here.*\n \|.*\n <------\+.*\n \|.*\n 'test': ev= ents 11-12.*\n \|.*\n \| NN \| boxed_int \*obj =3D make_boxed= _int \(i\);.*\n \| \| \^~~~~~~~~~~~~~~~~~\n = \| \| \|.*\n \| \| = \(11\) returning to 'test' from 'make_boxed_int'.*\n \| NN \| .*= \n \| NN \| free_boxed_int \(obj\);.*\n \| \| ~~~~~~~~= ~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(12\) calling 'f= ree_boxed_int' from 'test'.*\n \|.*\n \+--> 'free_boxed_int': eve= nts 13-14.*\n \|.*\n \| NN \| free_boxed_int \(bo= xed_int \*bi\).*\n \| \| \^~~~~~~~~~~~~~\n \| = \| \|.*\n \| \| \(13\) entry to 'free_boxed_int'.*\= n \| NN \| \{.*\n \| NN \| wrapped_free \(bi\= );.*\n \| \| ~~~~~~~~~~~~~~~~~\n \| \| = \|.*\n \| \| \(14\) calling 'wrapped_free' from 'fre= e_boxed_int'.*\n \|.*\n \+--> 'wrapped_free': event= s 15-16.*\n \|.*\n \| NN \| void wr= apped_free \(void \*ptr\).*\n \| \| \^~~~~~~= ~~~~~\n \| \| \|.*\n \| = \| \(15\) entry to 'wrapped_free'.*\n \| NN \= | \{.*\n \| NN \| free \(ptr\);.*\n = \| \| ~~~~~~~~~~\n \| \| \|.*\n = \| \| \(16\) first 'free' here.*\n = \|.*\n <------\+.*\n \|.*\n 'free_boxed_int= ': event 17.*\n \|.*\n \| NN \| wrapped_free \(= bi\);.*\n \| \| \^~~~~~~~~~~~~~~~~\n \| = \| \|.*\n \| \| \(17\) returning to 'free_boxed_int= ' from 'wrapped_free'.*\n \|.*\n <------\+.*\n \|.*\n = 'test': events 18-19.*\n \|.*\n \| NN \| free_boxed_int \(obj= \);.*\n \| \| \^~~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n = \| \| \(18\) returning to 'test' from 'free_boxed_int'.*\n = \| NN \| .*\n \| NN \| free_boxed_int \(obj\);.*\n \| = \| ~~~~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| \| \(1= 9\) passing freed pointer 'obj' in call to 'free_boxed_int' from 'test'= .*\n \|.*\n \+--> 'free_boxed_int': events 20-21.*\n \|= .*\n \| NN \| free_boxed_int \(boxed_int \*bi\).*\n = \| \| \^~~~~~~~~~~~~~\n \| \| \|.*\n \= | \| \(20\) entry to 'free_boxed_int'.*\n \| NN \| \{.= *\n \| NN \| wrapped_free \(bi\);.*\n \| \= | ~~~~~~~~~~~~~~~~~\n \| \| \|.*\n \| = \| \(21\) passing freed pointer 'bi' in call to 'wrapped_free' from = 'free_boxed_int'.*\n \|.*\n \+--> 'wrapped_free': e= vents 22-23.*\n \|.*\n \| NN \| voi= d wrapped_free \(void \*ptr\).*\n \| \| \^~~= ~~~~~~~~~\n \| \| \|.*\n \|= \| \(22\) entry to 'wrapped_free'.*\n \| = NN \| \{.*\n \| NN \| free \(ptr\);.*\n = \| \| ~~~~~~~~~~\n \| \| \|.*\n = \| \| \(23\) second 'free' here; first 'free' wa= s at \(16\).*\n \|.*\n" FAIL: gcc.dg/analyzer/malloc-ipa-8-double-free.c (test for excess error= s) FAIL: gcc.dg/analyzer/malloc-ipa-8-double-free.c (test for excess error= s) FAIL: gcc.dg/analyzer/malloc-ipa-8-double-free.c (test for excess error= s) FAIL: gcc.dg/analyzer/malloc-ipa-8-unchecked.c expected multiline patte= rn lines 28-66 not found: "\s*NN \| result->i =3D i;.*\n \| ~~= ~~~~~~~~\^~~\n 'make_boxed_int': events 1-2.*\n \|.*\n \| NN \= | make_boxed_int \(int i\).*\n \| \| \^~~~~~~~~~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'make_boxed_int'.*\n \| = NN \| \{.*\n \| NN \| boxed_int \*result =3D \(boxed_int \*\)wra= pped_malloc \(sizeof \(boxed_int\)\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n \| \|= \|.*\n \| \| = \(2\) calling 'wrapped_malloc' from 'make_boxed_in= t'.*\n \|.*\n \+--> 'wrapped_malloc': events 3-4.*\n \|= .*\n \| NN \| void \*wrapped_malloc \(size_t size\).*\n = \| \| \^~~~~~~~~~~~~~\n \| \| \|= .*\n \| \| \(3\) entry to 'wrapped_malloc'.*\n = \| NN \| \{.*\n \| NN \| return malloc \(size\);= .*\n \| \| ~~~~~~~~~~~~~\n \| \|= \|.*\n \| \| \(4\) this call could re= turn NULL.*\n \|.*\n <------\+.*\n \|.*\n 'make_boxed_= int': events 5-6.*\n \|.*\n \| NN \| boxed_int \*result =3D \= (boxed_int \*\)wrapped_malloc \(sizeof \(boxed_int\)\);.*\n \| = \| \^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~= ~~~\n \| \| \|.*\n \| = \| \(5\) possible return of NULL t= o 'make_boxed_int' from 'wrapped_malloc'.*\n \| NN \| result->i = =3D i;.*\n \| \| ~~~~~~~~~~~~~ .*\n \|= \| \|.*\n \| \| \(6\) 'result' co= uld be NULL: unchecked value from \(4\).*\n \|.*\n" FAIL: gcc.dg/analyzer/malloc-ipa-8-unchecked.c expected multiline patte= rn lines 28-66 not found: "\s*NN \| result->i =3D i;.*\n \| ~~= ~~~~~~~~\^~~\n 'make_boxed_int': events 1-2.*\n \|.*\n \| NN \= | make_boxed_int \(int i\).*\n \| \| \^~~~~~~~~~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'make_boxed_int'.*\n \| = NN \| \{.*\n \| NN \| boxed_int \*result =3D \(boxed_int \*\)wra= pped_malloc \(sizeof \(boxed_int\)\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n \| \|= \|.*\n \| \| = \(2\) calling 'wrapped_malloc' from 'make_boxed_in= t'.*\n \|.*\n \+--> 'wrapped_malloc': events 3-4.*\n \|= .*\n \| NN \| void \*wrapped_malloc \(size_t size\).*\n = \| \| \^~~~~~~~~~~~~~\n \| \| \|= .*\n \| \| \(3\) entry to 'wrapped_malloc'.*\n = \| NN \| \{.*\n \| NN \| return malloc \(size\);= .*\n \| \| ~~~~~~~~~~~~~\n \| \|= \|.*\n \| \| \(4\) this call could re= turn NULL.*\n \|.*\n <------\+.*\n \|.*\n 'make_boxed_= int': events 5-6.*\n \|.*\n \| NN \| boxed_int \*result =3D \= (boxed_int \*\)wrapped_malloc \(sizeof \(boxed_int\)\);.*\n \| = \| \^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~= ~~~\n \| \| \|.*\n \| = \| \(5\) possible return of NULL t= o 'make_boxed_int' from 'wrapped_malloc'.*\n \| NN \| result->i = =3D i;.*\n \| \| ~~~~~~~~~~~~~ .*\n \|= \| \|.*\n \| \| \(6\) 'result' co= uld be NULL: unchecked value from \(4\).*\n \|.*\n" FAIL: gcc.dg/analyzer/malloc-ipa-8-unchecked.c expected multiline patte= rn lines 28-66 not found: "\s*NN \| result->i =3D i;.*\n \| ~~= ~~~~~~~~\^~~\n 'make_boxed_int': events 1-2.*\n \|.*\n \| NN \= | make_boxed_int \(int i\).*\n \| \| \^~~~~~~~~~~~~~\n \| = \| \|.*\n \| \| \(1\) entry to 'make_boxed_int'.*\n \| = NN \| \{.*\n \| NN \| boxed_int \*result =3D \(boxed_int \*\)wra= pped_malloc \(sizeof \(boxed_int\)\);.*\n \| \| = ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n \| \|= \|.*\n \| \| = \(2\) calling 'wrapped_malloc' from 'make_boxed_in= t'.*\n \|.*\n \+--> 'wrapped_malloc': events 3-4.*\n \|= .*\n \| NN \| void \*wrapped_malloc \(size_t size\).*\n = \| \| \^~~~~~~~~~~~~~\n \| \| \|= .*\n \| \| \(3\) entry to 'wrapped_malloc'.*\n = \| NN \| \{.*\n \| NN \| return malloc \(size\);= .*\n \| \| ~~~~~~~~~~~~~\n \| \|= \|.*\n \| \| \(4\) this call could re= turn NULL.*\n \|.*\n <------\+.*\n \|.*\n 'make_boxed_= int': events 5-6.*\n \|.*\n \| NN \| boxed_int \*result =3D \= (boxed_int \*\)wrapped_malloc \(sizeof \(boxed_int\)\);.*\n \| = \| \^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~= ~~~\n \| \| \|.*\n \| = \| \(5\) possible return of NULL t= o 'make_boxed_int' from 'wrapped_malloc'.*\n \| NN \| result->i = =3D i;.*\n \| \| ~~~~~~~~~~~~~ .*\n \|= \| \|.*\n \| \| \(6\) 'result' co= uld be NULL: unchecked value from \(4\).*\n \|.*\n" FAIL: gcc.dg/analyzer/malloc-ipa-8-unchecked.c (test for excess errors) FAIL: gcc.dg/analyzer/malloc-ipa-8-unchecked.c (test for excess errors) FAIL: gcc.dg/analyzer/malloc-ipa-8-unchecked.c (test for excess errors) FAIL: gcc.dg/analyzer/pr101503.c (internal compiler error) FAIL: gcc.dg/analyzer/pr101503.c (internal compiler error) FAIL: gcc.dg/analyzer/pr101503.c (internal compiler error) FAIL: gcc.dg/analyzer/pr101503.c (test for excess errors) FAIL: gcc.dg/analyzer/pr101503.c (test for excess errors) FAIL: gcc.dg/analyzer/pr101503.c (test for excess errors) FAIL: gcc.dg/analyzer/sensitive-1.c (test for warnings, line 50) FAIL: gcc.dg/analyzer/sensitive-1.c (test for warnings, line 50) FAIL: gcc.dg/analyzer/sensitive-1.c (test for warnings, line 50) FAIL: gcc.dg/analyzer/sensitive-1.c (test for warnings, line 60) FAIL: gcc.dg/analyzer/sensitive-1.c (test for warnings, line 60) FAIL: gcc.dg/analyzer/sensitive-1.c (test for warnings, line 60) FAIL: g++.dg/analyzer/malloc.C -std=3Dc++14 (test for warnings, line = 24) FAIL: g++.dg/analyzer/malloc.C -std=3Dc++14 (test for warnings, line = 24) FAIL: g++.dg/analyzer/malloc.C -std=3Dc++14 (test for warnings, line = 24) FAIL: g++.dg/analyzer/malloc.C -std=3Dc++17 (test for warnings, line = 24) FAIL: g++.dg/analyzer/malloc.C -std=3Dc++17 (test for warnings, line = 24) FAIL: g++.dg/analyzer/malloc.C -std=3Dc++17 (test for warnings, line = 24) FAIL: g++.dg/analyzer/malloc.C -std=3Dc++2a (test for warnings, line = 24) FAIL: g++.dg/analyzer/malloc.C -std=3Dc++2a (test for warnings, line = 24) FAIL: g++.dg/analyzer/malloc.C -std=3Dc++2a (test for warnings, line = 24) FAIL: g++.dg/analyzer/malloc.C -std=3Dc++98 (test for warnings, line = 24) FAIL: g++.dg/analyzer/malloc.C -std=3Dc++98 (test for warnings, line = 24) FAIL: g++.dg/analyzer/malloc.C -std=3Dc++98 (test for warnings, line = 24) FAIL: g++.dg/analyzer/pr96641.C -std=3Dc++14 (test for excess errors) FAIL: g++.dg/analyzer/pr96641.C -std=3Dc++14 (test for excess errors) FAIL: g++.dg/analyzer/pr96641.C -std=3Dc++14 (test for excess errors) FAIL: g++.dg/analyzer/pr96641.C -std=3Dc++17 (test for excess errors) FAIL: g++.dg/analyzer/pr96641.C -std=3Dc++17 (test for excess errors) FAIL: g++.dg/analyzer/pr96641.C -std=3Dc++17 (test for excess errors) FAIL: g++.dg/analyzer/pr96641.C -std=3Dc++2a (test for excess errors) FAIL: g++.dg/analyzer/pr96641.C -std=3Dc++2a (test for excess errors) FAIL: g++.dg/analyzer/pr96641.C -std=3Dc++2a (test for excess errors) FAIL: g++.dg/analyzer/pr96641.C -std=3Dc++98 (test for excess errors) FAIL: g++.dg/analyzer/pr96641.C -std=3Dc++98 (test for excess errors) FAIL: g++.dg/analyzer/pr96641.C -std=3Dc++98 (test for excess errors) FAIL: gfortran.dg/analyzer/pr96949.f90 -O (internal compiler error) FAIL: gfortran.dg/analyzer/pr96949.f90 -O (internal compiler error) FAIL: gfortran.dg/analyzer/pr96949.f90 -O (internal compiler error) FAIL: gfortran.dg/analyzer/pr96949.f90 -O (test for excess errors) FAIL: gfortran.dg/analyzer/pr96949.f90 -O (test for excess errors) FAIL: gfortran.dg/analyzer/pr96949.f90 -O (test for excess errors) New passes: FAIL: g++.dg/modules/xtreme-header-3_b.C -std=3Dc++2b (internal compile= r error) FAIL: g++.dg/modules/xtreme-header-3_b.C -std=3Dc++2b (test for excess = errors)