Re: [PATCH] [Annotalysis] Fix internal compiler errors in thread safety analysis.

2011-09-14 Thread Diego Novillo
On Tue, Sep 13, 2011 at 18:27, Delesley Hutchins wrote: > This patch fixes two bugs which cause an internal compiler error in > annotalysis. The first change fixes a failure when a variable is > typecast from an unknown (forward-defined)  type.  The second change > fixes a case in which an assert

[PATCH] [Annotalysis] Fix internal compiler errors in thread safety analysis.

2011-09-13 Thread Delesley Hutchins
This patch fixes two bugs which cause an internal compiler error in annotalysis. The first change fixes a failure when a variable is typecast from an unknown (forward-defined) type. The second change fixes a case in which an assert was triggered, because subexpressions were not canonicalized corr