From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-we0-f178.google.com (mail-we0-f178.google.com [74.125.82.178]) by dpdk.org (Postfix) with ESMTP id 8974F6895 for ; Wed, 14 May 2014 11:26:06 +0200 (CEST) Received: by mail-we0-f178.google.com with SMTP id u56so1647423wes.9 for ; Wed, 14 May 2014 02:26:14 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:cc:subject:date:message-id:organization :user-agent:in-reply-to:references:mime-version :content-transfer-encoding:content-type; bh=5VkAMfekLaD13oKW4xqb28kSIIuU/lcleyt10r+X9es=; b=TnoSvK6fzqNF/IP4Ecr9GgDJGtIYu8t3WARszRwtBHwUsjDIwYfgYmxm5FEm4NWphh DoXGAIwaqckHGnOMSraq+LZz30PnQttgzKXy+HJfdZ3NYRFE9VLiJDyiE4aMY0w7mA95 S0LbH4JVSfZpi2AslVSe03UlrnvH21nAjIHUYRIpUjlMzQy3num9Z21ptzxCyYDikw9D UoTv45j/dO+7TDTB2noh1x/HepdRPxR2ag9qOxZwANBFmpqik9DHBgnE9jliz+s1DMNt J8rD/9IURGTJYjkVJe6aSxVZHTuORYR+JteNsm96/WOBZibcRzv9w5Kii+IncXZRfcdJ 7Ibw== X-Gm-Message-State: ALoCoQn9WKtjSS1G0H4N/TybkCpcwQIBqnLEcav6Oq4E9XRtK8zj2nCon3qomRxMaErgWXkEtjAb X-Received: by 10.180.93.163 with SMTP id cv3mr25308459wib.3.1400059574058; Wed, 14 May 2014 02:26:14 -0700 (PDT) Received: from xps13.localnet (6wind.net2.nerim.net. [213.41.180.237]) by mx.google.com with ESMTPSA id c7sm1729146wjf.19.2014.05.14.02.26.11 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 14 May 2014 02:26:12 -0700 (PDT) From: Thomas Monjalon To: Julien Cretin Date: Wed, 14 May 2014 11:26:10 +0200 Message-ID: <2904402.ZJ66rxsSku@xps13> Organization: 6WIND User-Agent: KMail/4.13 (Linux/3.14.2-1-ARCH; KDE/4.13.0; x86_64; ; ) In-Reply-To: <1399908911-18829-1-git-send-email-julien.cretin@trust-in-soft.com> References: <1399908911-18829-1-git-send-email-julien.cretin@trust-in-soft.com> MIME-Version: 1.0 Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" Cc: dev@dpdk.org Subject: Re: [dpdk-dev] [PATCH 0/3] Various patches X-BeenThere: dev@dpdk.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: patches and discussions about DPDK List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 14 May 2014 09:26:06 -0000 2014-05-12 17:35, Julien Cretin: > This patch set contains three unrelated patches found by running > TrustInSoft Analyzer [1] on some parts of the testpmd application: > > - The first patch fixes a minor signed overflow in a constant > expression of testpmd. > > - The second patch is not a fix and concerns a suspicious loop > condition in optimize_object_size. > > - The third (and last) patch fixes sign mismatches for some printf > arguments. > > [1] TrustInSoft Analyzer (http://trust-in-soft.com) is a static > analyzer. And as such, it gives information about the execution of a > source code without actually running it. However, unlike other static > analysis tools, it has the particularity of being correct. This means > that it does not remain silent when a run-time error may happen in the > range of the analysis. In other words, it gives information about all > possible executions (defined by the analysis) of a source code without > actually running it. > > Julien Cretin (3): > app/testpmd: fix minor signed overflow in a constant > mem: remove redundant check in optimize_object_size > app/testpmd: fix incompatible sign for printf arguments Acked-by: Thomas Monjalon Applied for version 1.7.0. Thanks for these difficult catches, especially the mempool/get_gcd one! -- Thomas