From mboxrd@z Thu Jan 1 00:00:00 1970 From: Diego Pinheiro Subject: Re: Flow graph - identify loop body Date: Tue, 17 May 2011 18:09:16 -0400 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Return-path: Received: from mail-yx0-f174.google.com ([209.85.213.174]:46690 "EHLO mail-yx0-f174.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S932434Ab1EQWJR (ORCPT ); Tue, 17 May 2011 18:09:17 -0400 Received: by yxs7 with SMTP id 7so338738yxs.19 for ; Tue, 17 May 2011 15:09:16 -0700 (PDT) In-Reply-To: Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: Dan Carpenter Cc: linux-sparse@vger.kernel.org Thanks, it really helped.