Re: [PATCH v2 05/10] Make gnulib's regcomp not abort()

2021-12-07 Thread Paul Eggert
On 12/7/21 10:51, Robbie Harwood wrote: I don't believe we have an implementation of abort() that can be called. (We have grub_abort() instead.) If that's the correct reason, then DEBUG_ASSERT would work and I can make that change. Looking into the code a bit more, it looks like a DEBUG_ASSER

Re: [PATCH v2 05/10] Make gnulib's regcomp not abort()

2021-12-07 Thread Robbie Harwood
Paul Eggert writes: > On 12/1/21 19:20, Paul Eggert wrote: >> On 12/1/21 13:02, Robbie Harwood wrote: >>> @@ -1099,7 +1099,7 @@ optimize_utf8 (re_dfa_t *dfa) >>>   } >>>   break; >>>     default: >>> -    abort (); >>> +    break; >>>     } >> >> Likewise, it's not clear why this

Re: [PATCH v2 05/10] Make gnulib's regcomp not abort()

2021-12-03 Thread Paul Eggert
On 12/1/21 19:20, Paul Eggert wrote: On 12/1/21 13:02, Robbie Harwood wrote: @@ -1099,7 +1099,7 @@ optimize_utf8 (re_dfa_t *dfa)   }   break;     default: -    abort (); +    break;     } Likewise, it's not clear why this change is needed. The 'abort' should not be reachable.

Re: [PATCH v2 05/10] Make gnulib's regcomp not abort()

2021-12-01 Thread Paul Eggert
On 12/1/21 13:02, Robbie Harwood wrote: @@ -1099,7 +1099,7 @@ optimize_utf8 (re_dfa_t *dfa) } break; default: - abort (); + break; } Likewise, it's not clear why this change is needed. The 'abort' should not be reachable. Is the intent to make the

Re: [PATCH v2 05/10] Make gnulib's regcomp not abort()

2021-12-01 Thread Paul Eggert
It's not clear why this change is needed. POSIX says that for regerror "the application shall ensure is the last non-zero value returned by regcomp() or regexec() with the given value of preg". If an application violates a "shall" requirement, behavior is undefined so it's OK for regerror to ab