From mboxrd@z Thu Jan  1 00:00:00 1970
From: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Subject: Re: Infinite loop with OOM while testing Sparse on Wine code
Date: Sun, 30 Jul 2017 02:01:54 +0200
Message-ID: <20170730000152.e7ptsets43tamcv6@ltop.local>
References: <a4d23510-5bd4-9d88-f7a8-731882744043@mykolab.com>
 <CANeU7QnEui=yTjf+=TYU89mEhOrOj3b3X_W0csxJJ-eLRokWcg@mail.gmail.com>
 <CANeU7Qk37weXva_-_M4bXeTTAT-DYGcccy+6jYv8pO6gzZNLcA@mail.gmail.com>
 <CANeU7Qkm_V8cYW3yKKBHo6PY9r0CA+XoTfJCVZbcOS14Am_PiA@mail.gmail.com>
 <20170729233805.lvdhpk5bnyaj5zq6@ltop.local>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Return-path: <linux-sparse-owner@vger.kernel.org>
Received: from mail-wr0-f173.google.com ([209.85.128.173]:38547 "EHLO
        mail-wr0-f173.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1751888AbdG3AB5 (ORCPT
        <rfc822;linux-sparse@vger.kernel.org>);
        Sat, 29 Jul 2017 20:01:57 -0400
Received: by mail-wr0-f173.google.com with SMTP id f21so110183050wrf.5
        for <linux-sparse@vger.kernel.org>; Sat, 29 Jul 2017 17:01:57 -0700 (PDT)
Content-Disposition: inline
In-Reply-To: <20170729233805.lvdhpk5bnyaj5zq6@ltop.local>
Sender: linux-sparse-owner@vger.kernel.org
List-Id: linux-sparse@vger.kernel.org
To: Christopher Li <sparse@chrisli.org>
Cc: Michael Stefaniuc <mstefani@mykolab.com>, Sparse Mailing-list <linux-sparse@vger.kernel.org>

On Sun, Jul 30, 2017 at 01:38:07AM +0200, Luc Van Oostenryck wrote:
> Still looking at this.

I just sent a patch.
At first sight it seems to be correct but it will need more testing.
I'll do that tomorrow as it is already quite late here.

-- Luc