subject:"\[Ada\] Inhibit exception push\/pop when not needed"

Re: [Ada] Inhibit exception push/pop when not needed

2011-11-04 Thread Arnaud Charlet

>> This patch inhibits the generation of exception push/pop nodes if >> restriction No_Exception_Handlers is active (when they are always >> useless), or in CodePeer mode (where they are never needed and can >> intefere with the analysis). > > this latest series breaks bootstrap on at least i686-d

Re: [Ada] Inhibit exception push/pop when not needed

2011-11-04 Thread Iain Sandoe

On 4 Nov 2011, at 14:09, Arnaud Charlet wrote: This patch inhibits the generation of exception push/pop nodes if restriction No_Exception_Handlers is active (when they are always useless), or in CodePeer mode (where they are never needed and can intefere with the analysis). this latest series

[Ada] Inhibit exception push/pop when not needed

2011-11-04 Thread Arnaud Charlet

This patch inhibits the generation of exception push/pop nodes if restriction No_Exception_Handlers is active (when they are always useless), or in CodePeer mode (where they are never needed and can intefere with the analysis). The following program 1. pragma Restrictions (No_Exception_Propa