diff options
| author | David Bremner <david@tethera.net> | 2017-08-26 11:41:39 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2017-08-30 07:12:13 -0300 |
| commit | 10071f8b5003977551427e4d65fd2b10b88399b4 (patch) | |
| tree | b3e78540e2b5c4fed1ba883b987bd79ca5d87a5e /util/error_util.c | |
| parent | c960bb4686429b220419f6d45ede920d6c14c3c5 (diff) | |
cppcheck: call va_end in _internal_error
fix for:
util/error_util.c:38: error: va_list 'va_args' was opened but not
closed by va_end()
This makes the code more copy-pastable, if nothing else
Diffstat (limited to 'util/error_util.c')
| -rw-r--r-- | util/error_util.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/error_util.c b/util/error_util.c index 778bbd52..e64162c7 100644 --- a/util/error_util.c +++ b/util/error_util.c @@ -34,6 +34,7 @@ _internal_error (const char *format, ...) fprintf (stderr, "Internal error: "); vfprintf (stderr, format, va_args); + va_end (va_args); exit (1); } |