From mboxrd@z Thu Jan  1 00:00:00 1970
From: der.herr@hofr.at (Nicholas Mc Guire)
Date: Sun, 17 May 2015 15:28:01 +0200
Subject: [Cocci] Fatal error: exception Failure("not supported")
In-Reply-To: <alpine.DEB.2.02.1505171511410.2077@localhost6.localdomain6>
References: <20150517061803.GA32427@opentech.at> <20150517120807.GA13779@pema>
 <alpine.DEB.2.02.1505171511410.2077@localhost6.localdomain6>
Message-ID: <20150517132801.GA3881@opentech.at>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

On Sun, 17 May 2015, Julia Lawall wrote:

> do while is not supported.  Sorry.
>

interesting - did this just not get done or
is there a theoretical issue with do while constructs ? 

thx!
hofrat