Paul Eggert wrote: > assume(X) uses __builtin_trap only in GCC versions 3.3.4 through 4.4.7
OK, so the problem diminishes over time. Fine. Bruno
- [PATCH] verify: port 'assume' to traditional tools Paul Eggert
- use of __builtin_trap Bruno Haible
- Re: use of __builtin_trap Paul Eggert
- Re: use of __builtin_trap Bruno Haible
