diff options
author | Jean Boussier <[email protected]> | 2024-11-25 13:05:18 +0100 |
---|---|---|
committer | Jean Boussier <[email protected]> | 2024-11-25 18:18:39 +0100 |
commit | cedcf2d681f08f8bed8ef8f3a8bd4e67d4a04c77 (patch) | |
tree | fb43167bbb2dd5c8ec1f3bedcb6d7726fc9e1355 /lib/reline/line_editor.rb | |
parent | 1d510a952d7345ffbe4565f417aeb1322dd1a8ac (diff) |
error.c: call `va_end` before jumping
The man page is clear that every `va_start` call MUST be succeeded by
the corresponding `va_end` call.
So `rb_raise` can't call `rb_exc_raise` before `va_end`, otherwise
`va_end` is never called.
Co-Authored-By: Étienne Barrié <[email protected]>
Diffstat (limited to 'lib/reline/line_editor.rb')
0 files changed, 0 insertions, 0 deletions