Re: [PATCH] Verify __builtin_unreachable and __builtin_trap are not called with arguments

On Fri, Apr 22, 2016 at 9:40 PM, Martin Jambor wrote: > Hi, > > On Fri, Apr 22, 2016 at 09:24:31PM +0200, Richard Biener wrote: >> On April 22, 2016 7:04:31 PM GMT+02:00, Martin Jambor >> wrote: >> >Hi, >> > >> >this patch adds verification that

Re: [PATCH] Verify __builtin_unreachable and __builtin_trap are not called with arguments

Hi, On Fri, Apr 22, 2016 at 09:24:31PM +0200, Richard Biener wrote: > On April 22, 2016 7:04:31 PM GMT+02:00, Martin Jambor wrote: > >Hi, > > > >this patch adds verification that __builtin_unreachable and > >__builtin_trap are not called with arguments. The problem with calls >

Re: [PATCH] Verify __builtin_unreachable and __builtin_trap are not called with arguments

On April 22, 2016 7:04:31 PM GMT+02:00, Martin Jambor wrote: >Hi, > >this patch adds verification that __builtin_unreachable and >__builtin_trap are not called with arguments. The problem with calls >to them with arguments is that functions like gimple_call_builtin_p >return

[PATCH] Verify __builtin_unreachable and __builtin_trap are not called with arguments

Hi, this patch adds verification that __builtin_unreachable and __builtin_trap are not called with arguments. The problem with calls to them with arguments is that functions like gimple_call_builtin_p return false on them, because they return true only when gimple_builtin_call_types_compatible_p