From mboxrd@z Thu Jan  1 00:00:00 1970
From: elfring@users.sourceforge.net (SF Markus Elfring)
Date: Mon, 14 Apr 2014 18:45:33 +0200
Subject: [Cocci] Road map after Coccinelle 1.0.0-rc21?
In-Reply-To: <alpine.DEB.2.10.1404141725420.2572@hadrien>
References: <alpine.DEB.2.10.1404141356250.2601@hadrien>
 <534BDDD6.9070407@users.sourceforge.net>
 <alpine.DEB.2.10.1404141525370.2572@hadrien>
 <534BE66B.8060907@users.sourceforge.net>
 <alpine.DEB.2.10.1404141622020.2591@hadrien>
 <534BF121.40607@users.sourceforge.net>
 <alpine.DEB.2.10.1404141634180.2591@hadrien>
 <534BF3B3.90007@users.sourceforge.net>
 <alpine.DEB.2.10.1404141725420.2572@hadrien>
Message-ID: <534C10AD.1080806@users.sourceforge.net>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

>> Did you eventually reproduce exceptions from the handling of a bit smaller
>> alternation in a SmPL constraint once more?
> 
> Yes, I believe so.

How are the chances to get the filter pattern to work which was created with an
alternation of 893 function names?

Would you like to reduce the corresponding list of 217 failure situations around
the message 'EXN:Invalid_argument("equal: abstract value")'?

Regards,
Markus