On Mon, 15 Dec 2014, Prathamesh Kulkarni wrote:
> Caused segfault for pattern containing no captures at:
> info.safe_grow_cleared(capture_max + 1); in capture_info::capture_info
>
> artificial test-case:
> (define_predicates integer_zerop)
> (simplify
> (bit_not integer_zerop)
> { build_zero_
Caused segfault for pattern containing no captures at:
info.safe_grow_cleared(capture_max + 1); in capture_info::capture_info
artificial test-case:
(define_predicates integer_zerop)
(simplify
(bit_not integer_zerop)
{ build_zero_cst (type); })
* genmatch.c
(simplify::simplify): Set simplify
