Message ID | 20200225015237.25019-1-dmalcolm@redhat.com |
---|---|
State | New |
Headers | show
Delivered-To: patches-gcc@linaro.org Received: by 2002:a2e:9793:0:0:0:0:0 with SMTP id y19csp3355757lji; Mon, 24 Feb 2020 17:52:56 -0800 (PST) X-Google-Smtp-Source: APXvYqz9hGY8KyHy2neODgfphfIGlB1fMi3MrRfN6/ZwV+kDmm5w438Vj9AcNgF/ZE1H9r5gGH6C X-Received: by 2002:aca:ad11:: with SMTP id w17mr1666282oie.85.1582595576194; Mon, 24 Feb 2020 17:52:56 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1582595576; cv=none; d=google.com; s=arc-20160816; b=TeEBxHVjfMnbLQew2YTQlrbmA+H9FDFDQOx1uQYDtpEW89F4Q1xytLLMp+/+4/SCZ1 TVwix8L9lfoLzES2DHbFVbvHS7npgfmDv9v6tJ2kVGudEKhGO4kl2reqckUdfG/4jZNe NZLC5ZwZJW4gMMRIcjqpc5UvGkr+DmfqWeIQzsOnrFRn0/rxxFdhrxBgkbAALDzsRdqm Je4VrY1CF4aAjQSDozrUh14312NB8s295lQvPr4OcJ5P6ghK7gj/316feGr+37WP6DfH NbMg6BC4xSCafzcXCHr5MUywCHQgLRhNRzq6tfaJrc81l+buAUDrQ7jeNNrcl143CBcy Ik8Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:dkim-signature:delivered-to:sender:list-help:list-post :list-archive:list-unsubscribe:list-id:precedence:mailing-list :dkim-signature:domainkey-signature; bh=jBEXHSsICFVetVi9VXxY7U0gS6WU0uoxLeTittC0yO8=; b=AP4LUZnylTjY5uetyxSuGZocWLDv4G34wiK1GKHl6aqVQ8cnOrS4taCldfN0U1EaAB nfU8fh8lV9/NqL40mZO/EoUDOCVjPe605IRKNvsgqaZseRY0xRMvelQNQBtl9BtujuFX r93cqfPDx3sQN27Lboiju/Mx97vihh0vmSLhc68c//8t9HRl6NbMKz7kcxMtdwP6Zr21 3TVEkV4R2eZLDD/6tp/EcqOFwfkC+9dqYp4CeRvd2g/5UKUgozPXB5EdxJR8dRaNexI9 Ujxphcwga8x7lF+fyaF0gC3a9+hyxBUCg4P4OTbcYNae2Y/ypyvfC6OIKBWhOCjXRXaQ 2Ivw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=Ymd0aBCW; dkim=neutral (body hash did not verify) header.i=@redhat.com header.s=mimecast20190719 header.b=gX8S3mQ9; spf=pass (google.com: domain of gcc-patches-return-520047-patches-gcc=linaro.org@gcc.gnu.org designates 209.132.180.131 as permitted sender) smtp.mailfrom="gcc-patches-return-520047-patches-gcc=linaro.org@gcc.gnu.org"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=redhat.com Return-Path: <gcc-patches-return-520047-patches-gcc=linaro.org@gcc.gnu.org> Received: from sourceware.org (server1.sourceware.org. [209.132.180.131]) by mx.google.com with ESMTPS id m67si5942509oib.117.2020.02.24.17.52.55 for <patches-gcc@linaro.org> (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 24 Feb 2020 17:52:56 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-return-520047-patches-gcc=linaro.org@gcc.gnu.org designates 209.132.180.131 as permitted sender) client-ip=209.132.180.131; Authentication-Results: mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=Ymd0aBCW; dkim=neutral (body hash did not verify) header.i=@redhat.com header.s=mimecast20190719 header.b=gX8S3mQ9; spf=pass (google.com: domain of gcc-patches-return-520047-patches-gcc=linaro.org@gcc.gnu.org designates 209.132.180.131 as permitted sender) smtp.mailfrom="gcc-patches-return-520047-patches-gcc=linaro.org@gcc.gnu.org"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=redhat.com DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:from :to:cc:subject:date:message-id:mime-version:content-type :content-transfer-encoding; q=dns; s=default; b=QxtW8pFAWayvPOH/ o1EHEiujWHTL2NIflgINxSViG2L3fqjqE3argv/HFeDV6DrC+SAnWSLrtiUI3mC6 99tWdqnOrS8A1BXAWX4jT3/7b2uEFhLEtNRWZ7QSUXXNbJciabg1iH7OnSYUW8/y CR3j1qOa5LUeKYHxQ3h4fKcg6d4= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:from :to:cc:subject:date:message-id:mime-version:content-type :content-transfer-encoding; s=default; bh=mK6y/NwNemK1Uxuio8uH9P ptAmU=; b=Ymd0aBCWUG70m7ZmySV//D2tWs73d+/s0tGzxbyqLqB5z2yLT9RY9T M3NcjbJEDD9mBPBBlxN63p4cq1hypzjmagq50IKp8TqD/bwQkx48JGAzXYAPRf+C 1EcYK5S8oYMP6XZTaGa6MHBQCeRYJjMb0TVOEMpeV7usp35p7Vl7s= Received: (qmail 47248 invoked by alias); 25 Feb 2020 01:52:50 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: <gcc-patches.gcc.gnu.org> List-Unsubscribe: <mailto:gcc-patches-unsubscribe-patches-gcc=linaro.org@gcc.gnu.org> List-Archive: <http://gcc.gnu.org/ml/gcc-patches/> List-Post: <mailto:gcc-patches@gcc.gnu.org> List-Help: <mailto:gcc-patches-help@gcc.gnu.org> Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org Received: (qmail 47231 invoked by uid 89); 25 Feb 2020 01:52:50 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-23.4 required=5.0 tests=AWL, BAYES_00, GIT_PATCH_0, GIT_PATCH_1, GIT_PATCH_2, GIT_PATCH_3, RCVD_IN_DNSWL_NONE autolearn=ham version=3.3.1 spammy= X-HELO: us-smtp-1.mimecast.com Received: from us-smtp-delivery-1.mimecast.com (HELO us-smtp-1.mimecast.com) (207.211.31.120) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 25 Feb 2020 01:52:49 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1582595567; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=d9lhuouEIM/1oyNHQB+4qCFf6SmQLU0PaAK07YFj1c0=; b=gX8S3mQ92W9xE8Bpf3cwHj+1AcwOl1skPZ4uu6VGTy+viivou7cktd5kVmQkVJMrCOCpHY qf0QP4XVc/RkWZHrpjkcCbyCWfeEWs6MIwMdWAhUioQfX3roVx+Z5i17MwfOrc+GS6/5RD hKyTBRijLlTGdtF7ch1XZFqbJ6SZSck= Received: from mimecast-mx01.redhat.com (mimecast-mx01.redhat.com [209.132.183.4]) (Using TLS) by relay.mimecast.com with ESMTP id us-mta-315-Oz4vMSjpPTScvOaMwUe3Zw-1; Mon, 24 Feb 2020 20:52:40 -0500 Received: from smtp.corp.redhat.com (int-mx03.intmail.prod.int.phx2.redhat.com [10.5.11.13]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mimecast-mx01.redhat.com (Postfix) with ESMTPS id 52E3F107ACC4 for <gcc-patches@gcc.gnu.org>; Tue, 25 Feb 2020 01:52:39 +0000 (UTC) Received: from t470.redhat.com (ovpn-116-56.phx2.redhat.com [10.3.116.56]) by smtp.corp.redhat.com (Postfix) with ESMTP id B2F6F909EE; Tue, 25 Feb 2020 01:52:38 +0000 (UTC) From: David Malcolm <dmalcolm@redhat.com> To: gcc-patches@gcc.gnu.org Cc: David Malcolm <dmalcolm@redhat.com> Subject: [committed] analyzer: fix -fdump-analyzer Date: Mon, 24 Feb 2020 20:52:37 -0500 Message-Id: <20200225015237.25019-1-dmalcolm@redhat.com> MIME-Version: 1.0 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable X-IsSubscribed: yes |
Series |
|
Related |
show
|
diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index 7f8a4223eed..45578f5111f 100644 --- a/gcc/analyzer/engine.cc +++ b/gcc/analyzer/engine.cc @@ -1866,7 +1866,7 @@ exploded_graph::get_or_create_node (const program_point &point, logger->end_log_line (); logger->start_log_line (); pp_string (pp, "state: "); - state.dump (m_ext_state, true); + state.dump_to_pp (m_ext_state, true, pp); logger->end_log_line (); }