+/*
+ * Error handling for libcdecl.
+ * Copyright © 2011-2012, 2021, 2023-2024 Nick Bowler
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ */
+
#include <config.h>
+#include <stdio.h>
#include <stdlib.h>
-#include <string.h>
#include <assert.h>
+
+#include "cdecl.h"
+#include "cdecl-internal.h"
+
#include <glthread/lock.h>
#include <glthread/tls.h>
-#include "cdecl.h"
-#include "error.h"
-#include "i18n.h"
-gl_once_define(static, tls_initialized);
-static gl_tls_key_t tls_key;
+#include "errmsg.h"
struct err_state {
struct cdecl_error err;
size_t nstr;
- char str[];
+ char str[FLEXIBLE_ARRAY_MEMBER];
};
-/* This error is reserved for extremely dire out-of-memory conditions. */
-static struct err_state err_no_mem = {
- .err = {
- .code = CDECL_ENOMEM,
- .str = NULL,
- },
-};
-
-const char *cdecl__strerror(unsigned code)
-{
-# include "errtab.h"
-
- assert(code < sizeof offtab / sizeof offtab[0]);
- assert(offtab[code] != 0);
-
- return gettext((char *)&strtab + offtab[code]);
-}
+/* This pre-initialized error is reserved for dire out-of-memory conditions. */
+static struct cdecl_error err_no_mem;
+static gl_tls_key_t tls_key;
static void free_err(void *err)
{
free(err);
}
-static void initialize(void)
+static void set_err(unsigned code, struct cdecl_error *err)
{
- cdecl__init_i18n();
- err_no_mem.err.str = cdecl__strerror(CDECL_ENOMEM);
+ static const char errmsgs[] = STRTAB_INITIALIZER;
+
+ switch (code) {
+ case CDECL__ENOMEM:
+ err->code = CDECL_ENOMEM;
+ break;
+ default:
+ err->code = CDECL_ENOPARSE;
+ break;
+ }
- gl_tls_key_init(tls_key, free_err);
+ err->str = _(&errmsgs[code]);
+}
- /*
- * This default error message is a stop-gap measure until all library
- * error conditions use the new interface.
- */
- cdecl__set_error(&(const struct cdecl_error){ .code = CDECL_ENOPARSE });
+static void initialize_cb(void)
+{
+#if ENABLE_NLS
+ bindtextdomain(PACKAGE, LOCALEDIR);
+ bindtextdomain("bison-runtime", BISON_LOCALEDIR);
+#endif
+ set_err(CDECL__ENOMEM, &err_no_mem);
+ gl_tls_key_init(tls_key, free_err);
}
-const struct cdecl_error *cdecl_get_error(void)
+static void *alloc_err_state(void *old, size_t buf_size)
{
struct err_state *state;
+ void *p;
+
+ state = p = realloc(old, offsetof(struct err_state, str) + buf_size);
+ if (state) {
+ state->nstr = buf_size;
+ } else if (old) {
+ /* Failed allocation, but existing state is still good */
+ p = old;
+ } else {
+ /* Failed allocation, no existing state */
+ p = &err_no_mem;
+ }
+
+ gl_tls_set(tls_key, p);
+ return state;
+}
- gl_once(tls_initialized, initialize);
+static struct err_state *get_err_state(void)
+{
+ void *state;
+
+ gl_once_define(static, tls_initialized)
+ gl_once(tls_initialized, initialize_cb);
state = gl_tls_get(tls_key);
- assert(state);
+ if (state == &err_no_mem)
+ state = NULL;
+ if (!state)
+ return alloc_err_state(state, 100);
+ return state;
+}
- return &state->err;
+
+#if ENABLE_NLS
+/*
+ * Initialize gettext indirectly via get_err_state.
+ */
+void cdecl__init_i18n(void)
+{
+ get_err_state();
}
+#endif
-void cdecl__set_error(const struct cdecl_error *err)
+/*
+ * Set the library error to one of the preset messages defined in errmsg.h
+ * (CDECL__Exxx).
+ */
+void cdecl__errmsg(unsigned msg)
{
struct err_state *state;
- size_t need_len = 0;
- gl_once(tls_initialized, initialize);
+ state = get_err_state();
+ if (!state)
+ return;
- if (err->str) {
- need_len = strlen(err->str) + 1;
- }
+ set_err(msg, &state->err);
+}
- state = gl_tls_get(tls_key);
- if (state == &err_no_mem)
- state = NULL;
- if (!state || state->nstr < need_len) {
- struct err_state *tmp;
-
- tmp = realloc(state, sizeof *state + need_len);
- if (!tmp) {
- /* Re-use the existing state buffer, if any. */
- if (state)
- state->err = err_no_mem.err;
- else
- state = &err_no_mem;
-
- gl_tls_set(tls_key, state);
+/*
+ * In the NLS-disabled case, all format strings are of the form
+ *
+ * "blah blah %s"
+ *
+ * so we exploit this to implement a simple snprintf workalike using the
+ * libcdecl output helpers directly.
+ *
+ * In the NLS-enabled case, we have to use snprintf as format strings may
+ * be translated. GNU libintl ensures a suitable version is available.
+ */
+static size_t
+fmt_err(struct err_state *state, const char *fmt, const char *arg)
+{
+#if ENABLE_NLS
+ snprintf(state->str, state->nstr, fmt, arg);
+ return strlen(fmt) + strlen(arg);
+#else
+ struct output_state dst = { state->str, state->nstr };
+ size_t rc;
+
+ rc = cdecl__strlcpy(dst.dst, fmt, dst.dstlen);
+ cdecl__advance(&dst, rc-2);
+ cdecl__emit(&dst, arg);
+
+ return dst.accum;
+#endif
+}
+
+/*
+ * Sets the library error to code; fmt is a printf-style string that may use
+ * up to one %s directive, to refer to arg.
+ */
+void cdecl__err(const char *fmt, const char *arg)
+{
+ struct err_state *state;
+ unsigned try = 0;
+ size_t rc;
+
+ state = get_err_state();
+ if (!state)
+ return;
+
+retry:
+ rc = fmt_err(state, fmt, arg);
+ if (rc >= state->nstr) {
+ assert(try++ == 0 && rc < SIZE_MAX / 4);
+
+ state = alloc_err_state(state, (size_t)(rc+1u) * 3 / 2);
+ if (!state)
return;
- }
- state = tmp;
- state->nstr = need_len;
- gl_tls_set(tls_key, state);
+ goto retry;
}
- state->err = *err;
- if (err->str) {
- memcpy(state->str, err->str, need_len);
- state->err.str = state->str;
- } else {
- state->err.str = cdecl__strerror(state->err.code);
- }
+ state->err.code = CDECL_ENOPARSE;
+ state->err.str = state->str;
+}
+
+const struct cdecl_error *cdecl_get_error(void)
+{
+ struct err_state *state = get_err_state();
+
+ return state ? &state->err : NULL;
}