From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id 21EAAC77B75 for ; Tue, 23 May 2023 09:18:50 +0000 (UTC) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q1O9g-0003xa-4A; Tue, 23 May 2023 05:18:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q1O9Z-0003xG-O5 for qemu-devel@nongnu.org; Tue, 23 May 2023 05:18:02 -0400 Received: from mail-ed1-x531.google.com ([2a00:1450:4864:20::531]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q1O9Y-0003LZ-6c for qemu-devel@nongnu.org; Tue, 23 May 2023 05:18:01 -0400 Received: by mail-ed1-x531.google.com with SMTP id 4fb4d7f45d1cf-510ddeab704so953326a12.3 for ; Tue, 23 May 2023 02:17:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1684833477; x=1687425477; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=CA0NVfNsPJkHFYfoqoVqBfPBUFAS3HLt5gza3FHD6G0=; b=sbpIRavy+mbx3hwv8/bfJ+Bsfmuu9vr4PrZVpqmvtm/H4dXd75FLxX5TDWzQ/Xb3qb Pa6EfeWO//7nIS9ea6qjYjvQSgEfDoEH0sFk7LYPHZQ4KJ8fWo33G5eL2z5W7xjQDI4t U/PcweBY7gwnRBsf43RdRP+XfgxNwB+pKa4FMZfkR5I+EfiWJh5aat8ms1hEdXwNAlOH bp/aLEKjYSDvM/pAG5RhxpvNlrcl5WFlE3eBlYm3JO/s2JzA6bnXpkedZr9JW87I5TV4 SK8/Ji+WD7lRzcQgAwPVSDhxRNwKmJ8Nl6pY2ibWTpBAfAFuJi7IxN7iQNVKIiGngLD4 cglA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684833477; x=1687425477; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=CA0NVfNsPJkHFYfoqoVqBfPBUFAS3HLt5gza3FHD6G0=; b=cYxWGeRpg3hRLwq36W2dJjlQUu1+5nNjO4/3zXGa2hjpQFAJsba5ISLFx6F9wjK91J 1+NpwCthBgfTyCncOoJ6YPxsTwnurSbH7YBCd/b4r8DebbyUV2TBFWBCsNtfwVoIxsxT A0BChPEk0xfIBUrRWcKcayxm2msZJJXArtSdQOwViG2fCY0YpBYUPmiRFqvlT2v2cHYu N0SGhwFtnBeMlm3IsIYYw9pZUxitB/2LrEFZabruQuTcEBr6Fs0Q9WTshlxMq8TpYPVJ OIWvj1i4x+I6j7FTzGmtXsm51pZzNIWzhpqJBUZurVN9pWrjG7orRcduCO7nO/C2bHtP m61w== X-Gm-Message-State: AC+VfDxCmxTolcycc4sH1S+P8mT1ycUn9ccshGGqLwv+WLSxjYzRU+Io HhSeSD2GO3IUYMaI/0MspzVlw1/5xKAn1NuY2P5NWQ== X-Google-Smtp-Source: ACHHUZ4ZEHbQcnvkzFaYxhv8ANoXxt2bP1CUtwQgk90Do+dPyUh7Jo4rLFoMzrAN+++AaPczNvUBu2LfO2I0qPbaxpo= X-Received: by 2002:aa7:c408:0:b0:504:b30a:2298 with SMTP id j8-20020aa7c408000000b00504b30a2298mr10465588edq.42.1684833477315; Tue, 23 May 2023 02:17:57 -0700 (PDT) MIME-Version: 1.0 References: <6467d9133bd9f_57b172b16e2c9d98835043@prd-scan-dashboard-0.mail> <4ffdd486-ec7d-49c7-1330-0d0b090735b9@rev.ng> In-Reply-To: <4ffdd486-ec7d-49c7-1330-0d0b090735b9@rev.ng> From: Peter Maydell Date: Tue, 23 May 2023 10:17:46 +0100 Message-ID: Subject: Re: Help finding Coverity defects for generated Hexagon code To: anjo@rev.ng Cc: "qemu-devel@nongnu.org" , pbonzini@redhat.com Content-Type: text/plain; charset="UTF-8" Received-SPF: pass client-ip=2a00:1450:4864:20::531; envelope-from=peter.maydell@linaro.org; helo=mail-ed1-x531.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: qemu-devel-bounces+qemu-devel=archiver.kernel.org@nongnu.org Sender: qemu-devel-bounces+qemu-devel=archiver.kernel.org@nongnu.org On Mon, 22 May 2023 at 21:24, Anton Johansson wrote: > > Hi, > > coverity recently reported some defects in code generated by idef-parser > (email attached). These defects are expected and we plan to emit a > /* coverity[event_tag] */ comment to disable the specific event triggered. We don't mark coverity false positives with comments in the source. For the free online scanner, we just mark them as false positives in the GUI (with an explanation of why they're false positives). It's weird that the ones listed in the email don't show up in the GUI, but if they're not in the GUI as unresolved issues then they're not a problem :-) thanks -- PMM