1 /* GLIB - Library of useful routines for C programming
2 * Copyright (C) 1995-1997 Peter Mattis, Spencer Kimball and Josh MacDonald
3 *
4 * This library is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU Lesser General Public
6 * License as published by the Free Software Foundation; either
7 * version 2.1 of the License, or (at your option) any later version.
8 *
9 * This library is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * Lesser General Public License for more details.
13 *
14 * You should have received a copy of the GNU Lesser General Public
15 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
16 */
17
18 /*
19 * Modified by the GLib Team and others 1997-2000. See the AUTHORS
20 * file for a list of people on the GLib Team. See the ChangeLog
21 * files for a list of changes. These files are distributed with
22 * GLib at ftp://ftp.gtk.org/pub/gtk/.
23 */
24
25 /**
26 * SECTION:error_reporting
27 * @Title: Error Reporting
28 * @Short_description: a system for reporting errors
29 *
30 * GLib provides a standard method of reporting errors from a called
31 * function to the calling code. (This is the same problem solved by
32 * exceptions in other languages.) It's important to understand that
33 * this method is both a data type (the #GError struct) and a [set of
34 * rules][gerror-rules]. If you use #GError incorrectly, then your code will not
35 * properly interoperate with other code that uses #GError, and users
36 * of your API will probably get confused. In most cases, [using #GError is
37 * preferred over numeric error codes][gerror-comparison], but there are
38 * situations where numeric error codes are useful for performance.
39 *
40 * First and foremost: #GError should only be used to report recoverable
41 * runtime errors, never to report programming errors. If the programmer
42 * has screwed up, then you should use g_warning(), g_return_if_fail(),
43 * g_assert(), g_error(), or some similar facility. (Incidentally,
44 * remember that the g_error() function should only be used for
45 * programming errors, it should not be used to print any error
46 * reportable via #GError.)
47 *
48 * Examples of recoverable runtime errors are "file not found" or
49 * "failed to parse input." Examples of programming errors are "NULL
50 * passed to strcmp()" or "attempted to free the same pointer twice."
51 * These two kinds of errors are fundamentally different: runtime errors
52 * should be handled or reported to the user, programming errors should
53 * be eliminated by fixing the bug in the program. This is why most
54 * functions in GLib and GTK+ do not use the #GError facility.
55 *
56 * Functions that can fail take a return location for a #GError as their
57 * last argument. On error, a new #GError instance will be allocated and
58 * returned to the caller via this argument. For example:
59 * |[<!-- language="C" -->
60 * gboolean g_file_get_contents (const gchar *filename,
61 * gchar **contents,
62 * gsize *length,
63 * GError **error);
64 * ]|
65 * If you pass a non-%NULL value for the `error` argument, it should
66 * point to a location where an error can be placed. For example:
67 * |[<!-- language="C" -->
68 * gchar *contents;
69 * GError *err = NULL;
70 *
71 * g_file_get_contents ("foo.txt", &contents, NULL, &err);
72 * g_assert ((contents == NULL && err != NULL) || (contents != NULL && err == NULL));
73 * if (err != NULL)
74 * {
75 * // Report error to user, and free error
76 * g_assert (contents == NULL);
77 * fprintf (stderr, "Unable to read file: %s\n", err->message);
78 * g_error_free (err);
79 * }
80 * else
81 * {
82 * // Use file contents
83 * g_assert (contents != NULL);
84 * }
85 * ]|
86 * Note that `err != NULL` in this example is a reliable indicator
87 * of whether g_file_get_contents() failed. Additionally,
88 * g_file_get_contents() returns a boolean which
89 * indicates whether it was successful.
90 *
91 * Because g_file_get_contents() returns %FALSE on failure, if you
92 * are only interested in whether it failed and don't need to display
93 * an error message, you can pass %NULL for the @error argument:
94 * |[<!-- language="C" -->
95 * if (g_file_get_contents ("foo.txt", &contents, NULL, NULL)) // ignore errors
96 * // no error occurred
97 * ;
98 * else
99 * // error
100 * ;
101 * ]|
102 *
103 * The #GError object contains three fields: @domain indicates the module
104 * the error-reporting function is located in, @code indicates the specific
105 * error that occurred, and @message is a user-readable error message with
106 * as many details as possible. Several functions are provided to deal
107 * with an error received from a called function: g_error_matches()
108 * returns %TRUE if the error matches a given domain and code,
109 * g_propagate_error() copies an error into an error location (so the
110 * calling function will receive it), and g_clear_error() clears an
111 * error location by freeing the error and resetting the location to
112 * %NULL. To display an error to the user, simply display the @message,
113 * perhaps along with additional context known only to the calling
114 * function (the file being opened, or whatever - though in the
115 * g_file_get_contents() case, the @message already contains a filename).
116 *
117 * Note, however, that many error messages are too technical to display to the
118 * user in an application, so prefer to use g_error_matches() to categorize errors
119 * from called functions, and build an appropriate error message for the context
120 * within your application. Error messages from a #GError are more appropriate
121 * to be printed in system logs or on the command line. They are typically
122 * translated.
123 *
124 * When implementing a function that can report errors, the basic
125 * tool is g_set_error(). Typically, if a fatal error occurs you
126 * want to g_set_error(), then return immediately. g_set_error()
127 * does nothing if the error location passed to it is %NULL.
128 * Here's an example:
129 * |[<!-- language="C" -->
130 * gint
131 * foo_open_file (GError **error)
132 * {
133 * gint fd;
134 * int saved_errno;
135 *
136 * g_return_val_if_fail (error == NULL || *error == NULL, -1);
137 *
138 * fd = open ("file.txt", O_RDONLY);
139 * saved_errno = errno;
140 *
141 * if (fd < 0)
142 * {
143 * g_set_error (error,
144 * FOO_ERROR, // error domain
145 * FOO_ERROR_BLAH, // error code
146 * "Failed to open file: %s", // error message format string
147 * g_strerror (saved_errno));
148 * return -1;
149 * }
150 * else
151 * return fd;
152 * }
153 * ]|
154 *
155 * Things are somewhat more complicated if you yourself call another
156 * function that can report a #GError. If the sub-function indicates
157 * fatal errors in some way other than reporting a #GError, such as
158 * by returning %TRUE on success, you can simply do the following:
159 * |[<!-- language="C" -->
160 * gboolean
161 * my_function_that_can_fail (GError **err)
162 * {
163 * g_return_val_if_fail (err == NULL || *err == NULL, FALSE);
164 *
165 * if (!sub_function_that_can_fail (err))
166 * {
167 * // assert that error was set by the sub-function
168 * g_assert (err == NULL || *err != NULL);
169 * return FALSE;
170 * }
171 *
172 * // otherwise continue, no error occurred
173 * g_assert (err == NULL || *err == NULL);
174 * }
175 * ]|
176 *
177 * If the sub-function does not indicate errors other than by
178 * reporting a #GError (or if its return value does not reliably indicate
179 * errors) you need to create a temporary #GError
180 * since the passed-in one may be %NULL. g_propagate_error() is
181 * intended for use in this case.
182 * |[<!-- language="C" -->
183 * gboolean
184 * my_function_that_can_fail (GError **err)
185 * {
186 * GError *tmp_error;
187 *
188 * g_return_val_if_fail (err == NULL || *err == NULL, FALSE);
189 *
190 * tmp_error = NULL;
191 * sub_function_that_can_fail (&tmp_error);
192 *
193 * if (tmp_error != NULL)
194 * {
195 * // store tmp_error in err, if err != NULL,
196 * // otherwise call g_error_free() on tmp_error
197 * g_propagate_error (err, tmp_error);
198 * return FALSE;
199 * }
200 *
201 * // otherwise continue, no error occurred
202 * }
203 * ]|
204 *
205 * Error pileups are always a bug. For example, this code is incorrect:
206 * |[<!-- language="C" -->
207 * gboolean
208 * my_function_that_can_fail (GError **err)
209 * {
210 * GError *tmp_error;
211 *
212 * g_return_val_if_fail (err == NULL || *err == NULL, FALSE);
213 *
214 * tmp_error = NULL;
215 * sub_function_that_can_fail (&tmp_error);
216 * other_function_that_can_fail (&tmp_error);
217 *
218 * if (tmp_error != NULL)
219 * {
220 * g_propagate_error (err, tmp_error);
221 * return FALSE;
222 * }
223 * }
224 * ]|
225 * @tmp_error should be checked immediately after sub_function_that_can_fail(),
226 * and either cleared or propagated upward. The rule is: after each error,
227 * you must either handle the error, or return it to the calling function.
228 *
229 * Note that passing %NULL for the error location is the equivalent
230 * of handling an error by always doing nothing about it. So the
231 * following code is fine, assuming errors in sub_function_that_can_fail()
232 * are not fatal to my_function_that_can_fail():
233 * |[<!-- language="C" -->
234 * gboolean
235 * my_function_that_can_fail (GError **err)
236 * {
237 * GError *tmp_error;
238 *
239 * g_return_val_if_fail (err == NULL || *err == NULL, FALSE);
240 *
241 * sub_function_that_can_fail (NULL); // ignore errors
242 *
243 * tmp_error = NULL;
244 * other_function_that_can_fail (&tmp_error);
245 *
246 * if (tmp_error != NULL)
247 * {
248 * g_propagate_error (err, tmp_error);
249 * return FALSE;
250 * }
251 * }
252 * ]|
253 *
254 * Note that passing %NULL for the error location ignores errors;
255 * it's equivalent to
256 * `try { sub_function_that_can_fail (); } catch (...) {}`
257 * in C++. It does not mean to leave errors unhandled; it means
258 * to handle them by doing nothing.
259 *
260 * Error domains and codes are conventionally named as follows:
261 *
262 * - The error domain is called <NAMESPACE>_<MODULE>_ERROR,
263 * for example %G_SPAWN_ERROR or %G_THREAD_ERROR:
264 * |[<!-- language="C" -->
265 * #define G_SPAWN_ERROR g_spawn_error_quark ()
266 *
267 * G_DEFINE_QUARK (g-spawn-error-quark, g_spawn_error)
268 * ]|
269 *
270 * - The quark function for the error domain is called
271 * <namespace>_<module>_error_quark,
272 * for example g_spawn_error_quark() or g_thread_error_quark().
273 *
274 * - The error codes are in an enumeration called
275 * <Namespace><Module>Error;
276 * for example, #GThreadError or #GSpawnError.
277 *
278 * - Members of the error code enumeration are called
279 * <NAMESPACE>_<MODULE>_ERROR_<CODE>,
280 * for example %G_SPAWN_ERROR_FORK or %G_THREAD_ERROR_AGAIN.
281 *
282 * - If there's a "generic" or "unknown" error code for unrecoverable
283 * errors it doesn't make sense to distinguish with specific codes,
284 * it should be called <NAMESPACE>_<MODULE>_ERROR_FAILED,
285 * for example %G_SPAWN_ERROR_FAILED. In the case of error code
286 * enumerations that may be extended in future releases, you should
287 * generally not handle this error code explicitly, but should
288 * instead treat any unrecognized error code as equivalent to
289 * FAILED.
290 *
291 * ## Comparison of #GError and traditional error handling # {#gerror-comparison}
292 *
293 * #GError has several advantages over traditional numeric error codes:
294 * importantly, tools like
295 * [gobject-introspection](https://developer.gnome.org/gi/stable/) understand
296 * #GErrors and convert them to exceptions in bindings; the message includes
297 * more information than just a code; and use of a domain helps prevent
298 * misinterpretation of error codes.
299 *
300 * #GError has disadvantages though: it requires a memory allocation, and
301 * formatting the error message string has a performance overhead. This makes it
302 * unsuitable for use in retry loops where errors are a common case, rather than
303 * being unusual. For example, using %G_IO_ERROR_WOULD_BLOCK means hitting these
304 * overheads in the normal control flow. String formatting overhead can be
305 * eliminated by using g_set_error_literal() in some cases.
306 *
307 * These performance issues can be compounded if a function wraps the #GErrors
308 * returned by the functions it calls: this multiplies the number of allocations
309 * and string formatting operations. This can be partially mitigated by using
310 * g_prefix_error().
311 *
312 * ## Rules for use of #GError # {#gerror-rules}
313 *
314 * Summary of rules for use of #GError:
315 *
316 * - Do not report programming errors via #GError.
317 *
318 * - The last argument of a function that returns an error should
319 * be a location where a #GError can be placed (i.e. `GError **error`).
320 * If #GError is used with varargs, the `GError**` should be the last
321 * argument before the `...`.
322 *
323 * - The caller may pass %NULL for the `GError**` if they are not interested
324 * in details of the exact error that occurred.
325 *
326 * - If %NULL is passed for the `GError**` argument, then errors should
327 * not be returned to the caller, but your function should still
328 * abort and return if an error occurs. That is, control flow should
329 * not be affected by whether the caller wants to get a #GError.
330 *
331 * - If a #GError is reported, then your function by definition had a
332 * fatal failure and did not complete whatever it was supposed to do.
333 * If the failure was not fatal, then you handled it and you should not
334 * report it. If it was fatal, then you must report it and discontinue
335 * whatever you were doing immediately.
336 *
337 * - If a #GError is reported, out parameters are not guaranteed to
338 * be set to any defined value.
339 *
340 * - A `GError*` must be initialized to %NULL before passing its address
341 * to a function that can report errors.
342 *
343 * - #GError structs must not be stack-allocated.
344 *
345 * - "Piling up" errors is always a bug. That is, if you assign a
346 * new #GError to a `GError*` that is non-%NULL, thus overwriting
347 * the previous error, it indicates that you should have aborted
348 * the operation instead of continuing. If you were able to continue,
349 * you should have cleared the previous error with g_clear_error().
350 * g_set_error() will complain if you pile up errors.
351 *
352 * - By convention, if you return a boolean value indicating success
353 * then %TRUE means success and %FALSE means failure. Avoid creating
354 * functions which have a boolean return value and a #GError parameter,
355 * but where the boolean does something other than signal whether the
356 * #GError is set. Among other problems, it requires C callers to allocate
357 * a temporary error. Instead, provide a `gboolean *` out parameter.
358 * There are functions in GLib itself such as g_key_file_has_key() that
359 * are hard to use because of this. If %FALSE is returned, the error must
360 * be set to a non-%NULL value. One exception to this is that in situations
361 * that are already considered to be undefined behaviour (such as when a
362 * g_return_val_if_fail() check fails), the error need not be set.
363 * Instead of checking separately whether the error is set, callers
364 * should ensure that they do not provoke undefined behaviour, then
365 * assume that the error will be set on failure.
366 *
367 * - A %NULL return value is also frequently used to mean that an error
368 * occurred. You should make clear in your documentation whether %NULL
369 * is a valid return value in non-error cases; if %NULL is a valid value,
370 * then users must check whether an error was returned to see if the
371 * function succeeded.
372 *
373 * - When implementing a function that can report errors, you may want
374 * to add a check at the top of your function that the error return
375 * location is either %NULL or contains a %NULL error (e.g.
376 * `g_return_if_fail (error == NULL || *error == NULL);`).
377 *
378 * ## Extended #GError Domains # {#gerror-extended-domains}
379 *
380 * Since GLib 2.68 it is possible to extend the #GError type. This is
381 * done with the G_DEFINE_EXTENDED_ERROR() macro. To create an
382 * extended #GError type do something like this in the header file:
383 * |[<!-- language="C" -->
384 * typedef enum
385 * {
386 * MY_ERROR_BAD_REQUEST,
387 * } MyError;
388 * #define MY_ERROR (my_error_quark ())
389 * GQuark my_error_quark (void);
390 * int
391 * my_error_get_parse_error_id (GError *error);
392 * const char *
393 * my_error_get_bad_request_details (GError *error);
394 * ]|
395 * and in implementation:
396 * |[<!-- language="C" -->
397 * typedef struct
398 * {
399 * int parse_error_id;
400 * char *bad_request_details;
401 * } MyErrorPrivate;
402 *
403 * static void
404 * my_error_private_init (MyErrorPrivate *priv)
405 * {
406 * priv->parse_error_id = -1;
407 * // No need to set priv->bad_request_details to NULL,
408 * // the struct is initialized with zeros.
409 * }
410 *
411 * static void
412 * my_error_private_copy (const MyErrorPrivate *src_priv, MyErrorPrivate *dest_priv)
413 * {
414 * dest_priv->parse_error_id = src_priv->parse_error_id;
415 * dest_priv->bad_request_details = g_strdup (src_priv->bad_request_details);
416 * }
417 *
418 * static void
419 * my_error_private_clear (MyErrorPrivate *priv)
420 * {
421 * g_free (priv->bad_request_details);
422 * }
423 *
424 * // This defines the my_error_get_private and my_error_quark functions.
425 * G_DEFINE_EXTENDED_ERROR (MyError, my_error)
426 *
427 * int
428 * my_error_get_parse_error_id (GError *error)
429 * {
430 * MyErrorPrivate *priv = my_error_get_private (error);
431 * g_return_val_if_fail (priv != NULL, -1);
432 * return priv->parse_error_id;
433 * }
434 *
435 * const char *
436 * my_error_get_bad_request_details (GError *error)
437 * {
438 * MyErrorPrivate *priv = my_error_get_private (error);
439 * g_return_val_if_fail (priv != NULL, NULL);
440 * g_return_val_if_fail (error->code != MY_ERROR_BAD_REQUEST, NULL);
441 * return priv->bad_request_details;
442 * }
443 *
444 * static void
445 * my_error_set_bad_request (GError **error,
446 * const char *reason,
447 * int error_id,
448 * const char *details)
449 * {
450 * MyErrorPrivate *priv;
451 * g_set_error (error, MY_ERROR, MY_ERROR_BAD_REQUEST, "Invalid request: %s", reason);
452 * if (error != NULL && *error != NULL)
453 * {
454 * priv = my_error_get_private (error);
455 * g_return_val_if_fail (priv != NULL, NULL);
456 * priv->parse_error_id = error_id;
457 * priv->bad_request_details = g_strdup (details);
458 * }
459 * }
460 * ]|
461 * An example of use of the error could be:
462 * |[<!-- language="C" -->
463 * gboolean
464 * send_request (GBytes *request, GError **error)
465 * {
466 * ParseFailedStatus *failure = validate_request (request);
467 * if (failure != NULL)
468 * {
469 * my_error_set_bad_request (error, failure->reason, failure->error_id, failure->details);
470 * parse_failed_status_free (failure);
471 * return FALSE;
472 * }
473 *
474 * return send_one (request, error);
475 * }
476 * ]|
477 *
478 * Please note that if you are a library author and your library
479 * exposes an existing error domain, then you can't make this error
480 * domain an extended one without breaking ABI. This is because
481 * earlier it was possible to create an error with this error domain
482 * on the stack and then copy it with g_error_copy(). If the new
483 * version of your library makes the error domain an extended one,
484 * then g_error_copy() called by code that allocated the error on the
485 * stack will try to copy more data than it used to, which will lead
486 * to undefined behavior. You must not stack-allocate errors with an
487 * extended error domain, and it is bad practice to stack-allocate any
488 * other #GErrors.
489 *
490 * Extended error domains in unloadable plugins/modules are not
491 * supported.
492 */
493
494 #include "config.h"
495
496 #include "gvalgrind.h"
497 #include <string.h>
498
499 #include "gerror.h"
500
501 #include "ghash.h"
502 #include "glib-init.h"
503 #include "gslice.h"
504 #include "gstrfuncs.h"
505 #include "gtestutils.h"
506 #include "gthread.h"
507
508 static GRWLock error_domain_global;
509 /* error_domain_ht must be accessed with error_domain_global
510 * locked.
511 */
512 static GHashTable *error_domain_ht = NULL;
513
514 void
g_error_init(void)515 g_error_init (void)
516 {
517 error_domain_ht = g_hash_table_new (NULL, NULL);
518 }
519
520 typedef struct
521 {
522 /* private_size is already aligned. */
523 gsize private_size;
524 GErrorInitFunc init;
525 GErrorCopyFunc copy;
526 GErrorClearFunc clear;
527 } ErrorDomainInfo;
528
529 /* Must be called with error_domain_global locked.
530 */
531 static inline ErrorDomainInfo *
error_domain_lookup(GQuark domain)532 error_domain_lookup (GQuark domain)
533 {
534 return g_hash_table_lookup (error_domain_ht,
535 GUINT_TO_POINTER (domain));
536 }
537
538 /* Copied from gtype.c. */
539 #define STRUCT_ALIGNMENT (2 * sizeof (gsize))
540 #define ALIGN_STRUCT(offset) \
541 ((offset + (STRUCT_ALIGNMENT - 1)) & -STRUCT_ALIGNMENT)
542
543 static void
error_domain_register(GQuark error_quark,gsize error_type_private_size,GErrorInitFunc error_type_init,GErrorCopyFunc error_type_copy,GErrorClearFunc error_type_clear)544 error_domain_register (GQuark error_quark,
545 gsize error_type_private_size,
546 GErrorInitFunc error_type_init,
547 GErrorCopyFunc error_type_copy,
548 GErrorClearFunc error_type_clear)
549 {
550 g_rw_lock_writer_lock (&error_domain_global);
551 if (error_domain_lookup (error_quark) == NULL)
552 {
553 ErrorDomainInfo *info = g_new (ErrorDomainInfo, 1);
554 info->private_size = ALIGN_STRUCT (error_type_private_size);
555 info->init = error_type_init;
556 info->copy = error_type_copy;
557 info->clear = error_type_clear;
558
559 g_hash_table_insert (error_domain_ht,
560 GUINT_TO_POINTER (error_quark),
561 info);
562 }
563 else
564 {
565 const char *name = g_quark_to_string (error_quark);
566
567 g_critical ("Attempted to register an extended error domain for %s more than once", name);
568 }
569 g_rw_lock_writer_unlock (&error_domain_global);
570 }
571
572 /**
573 * g_error_domain_register_static:
574 * @error_type_name: static string to create a #GQuark from
575 * @error_type_private_size: size of the private error data in bytes
576 * @error_type_init: function initializing fields of the private error data
577 * @error_type_copy: function copying fields of the private error data
578 * @error_type_clear: function freeing fields of the private error data
579 *
580 * This function registers an extended #GError domain.
581 *
582 * @error_type_name should not be freed. @error_type_private_size must
583 * be greater than 0.
584 *
585 * @error_type_init receives an initialized #GError and should then initialize
586 * the private data.
587 *
588 * @error_type_copy is a function that receives both original and a copy
589 * #GError and should copy the fields of the private error data. The standard
590 * #GError fields are already handled.
591 *
592 * @error_type_clear receives the pointer to the error, and it should free the
593 * fields of the private error data. It should not free the struct itself though.
594 *
595 * Normally, it is better to use G_DEFINE_EXTENDED_ERROR(), as it
596 * already takes care of passing valid information to this function.
597 *
598 * Returns: #GQuark representing the error domain
599 * Since: 2.68
600 */
601 GQuark
g_error_domain_register_static(const char * error_type_name,gsize error_type_private_size,GErrorInitFunc error_type_init,GErrorCopyFunc error_type_copy,GErrorClearFunc error_type_clear)602 g_error_domain_register_static (const char *error_type_name,
603 gsize error_type_private_size,
604 GErrorInitFunc error_type_init,
605 GErrorCopyFunc error_type_copy,
606 GErrorClearFunc error_type_clear)
607 {
608 GQuark error_quark;
609
610 g_return_val_if_fail (error_type_name != NULL, 0);
611 g_return_val_if_fail (error_type_private_size > 0, 0);
612 g_return_val_if_fail (error_type_init != NULL, 0);
613 g_return_val_if_fail (error_type_copy != NULL, 0);
614 g_return_val_if_fail (error_type_clear != NULL, 0);
615
616 error_quark = g_quark_from_static_string (error_type_name);
617 error_domain_register (error_quark,
618 error_type_private_size,
619 error_type_init,
620 error_type_copy,
621 error_type_clear);
622 return error_quark;
623 }
624
625 /**
626 * g_error_domain_register:
627 * @error_type_name: string to create a #GQuark from
628 * @error_type_private_size: size of the private error data in bytes
629 * @error_type_init: function initializing fields of the private error data
630 * @error_type_copy: function copying fields of the private error data
631 * @error_type_clear: function freeing fields of the private error data
632 *
633 * This function registers an extended #GError domain.
634 * @error_type_name will be duplicated. Otherwise does the same as
635 * g_error_domain_register_static().
636 *
637 * Returns: #GQuark representing the error domain
638 * Since: 2.68
639 */
640 GQuark
g_error_domain_register(const char * error_type_name,gsize error_type_private_size,GErrorInitFunc error_type_init,GErrorCopyFunc error_type_copy,GErrorClearFunc error_type_clear)641 g_error_domain_register (const char *error_type_name,
642 gsize error_type_private_size,
643 GErrorInitFunc error_type_init,
644 GErrorCopyFunc error_type_copy,
645 GErrorClearFunc error_type_clear)
646 {
647 GQuark error_quark;
648
649 g_return_val_if_fail (error_type_name != NULL, 0);
650 g_return_val_if_fail (error_type_private_size > 0, 0);
651 g_return_val_if_fail (error_type_init != NULL, 0);
652 g_return_val_if_fail (error_type_copy != NULL, 0);
653 g_return_val_if_fail (error_type_clear != NULL, 0);
654
655 error_quark = g_quark_from_string (error_type_name);
656 error_domain_register (error_quark,
657 error_type_private_size,
658 error_type_init,
659 error_type_copy,
660 error_type_clear);
661 return error_quark;
662 }
663
664 static GError *
g_error_allocate(GQuark domain,ErrorDomainInfo * out_info)665 g_error_allocate (GQuark domain, ErrorDomainInfo *out_info)
666 {
667 guint8 *allocated;
668 GError *error;
669 ErrorDomainInfo *info;
670 gsize private_size;
671
672 g_rw_lock_reader_lock (&error_domain_global);
673 info = error_domain_lookup (domain);
674 if (info != NULL)
675 {
676 if (out_info != NULL)
677 *out_info = *info;
678 private_size = info->private_size;
679 g_rw_lock_reader_unlock (&error_domain_global);
680 }
681 else
682 {
683 g_rw_lock_reader_unlock (&error_domain_global);
684 if (out_info != NULL)
685 memset (out_info, 0, sizeof (*out_info));
686 private_size = 0;
687 }
688 /* See comments in g_type_create_instance in gtype.c to see what
689 * this magic is about.
690 */
691 #ifdef ENABLE_VALGRIND
692 if (private_size > 0 && RUNNING_ON_VALGRIND)
693 {
694 private_size += ALIGN_STRUCT (1);
695 allocated = g_slice_alloc0 (private_size + sizeof (GError) + sizeof (gpointer));
696 *(gpointer *) (allocated + private_size + sizeof (GError)) = allocated + ALIGN_STRUCT (1);
697 VALGRIND_MALLOCLIKE_BLOCK (allocated + private_size, sizeof (GError) + sizeof (gpointer), 0, TRUE);
698 VALGRIND_MALLOCLIKE_BLOCK (allocated + ALIGN_STRUCT (1), private_size - ALIGN_STRUCT (1), 0, TRUE);
699 }
700 else
701 #endif
702 allocated = g_slice_alloc0 (private_size + sizeof (GError));
703
704 error = (GError *) (allocated + private_size);
705 return error;
706 }
707
708 /* This function takes ownership of @message. */
709 static GError *
g_error_new_steal(GQuark domain,gint code,gchar * message,ErrorDomainInfo * out_info)710 g_error_new_steal (GQuark domain,
711 gint code,
712 gchar *message,
713 ErrorDomainInfo *out_info)
714 {
715 ErrorDomainInfo info;
716 GError *error = g_error_allocate (domain, &info);
717
718 error->domain = domain;
719 error->code = code;
720 error->message = message;
721
722 if (info.init != NULL)
723 info.init (error);
724 if (out_info != NULL)
725 *out_info = info;
726
727 return error;
728 }
729
730 /**
731 * g_error_new_valist:
732 * @domain: error domain
733 * @code: error code
734 * @format: printf()-style format for error message
735 * @args: #va_list of parameters for the message format
736 *
737 * Creates a new #GError with the given @domain and @code,
738 * and a message formatted with @format.
739 *
740 * Returns: a new #GError
741 *
742 * Since: 2.22
743 */
744 GError*
g_error_new_valist(GQuark domain,gint code,const gchar * format,va_list args)745 g_error_new_valist (GQuark domain,
746 gint code,
747 const gchar *format,
748 va_list args)
749 {
750 /* Historically, GError allowed this (although it was never meant to work),
751 * and it has significant use in the wild, which g_return_val_if_fail
752 * would break. It should maybe g_return_val_if_fail in GLib 4.
753 * (GNOME#660371, GNOME#560482)
754 */
755 g_warn_if_fail (domain != 0);
756 g_warn_if_fail (format != NULL);
757
758 return g_error_new_steal (domain, code, g_strdup_vprintf (format, args), NULL);
759 }
760
761 /**
762 * g_error_new:
763 * @domain: error domain
764 * @code: error code
765 * @format: printf()-style format for error message
766 * @...: parameters for message format
767 *
768 * Creates a new #GError with the given @domain and @code,
769 * and a message formatted with @format.
770 *
771 * Returns: a new #GError
772 */
773 GError*
g_error_new(GQuark domain,gint code,const gchar * format,...)774 g_error_new (GQuark domain,
775 gint code,
776 const gchar *format,
777 ...)
778 {
779 GError* error;
780 va_list args;
781
782 g_return_val_if_fail (format != NULL, NULL);
783 g_return_val_if_fail (domain != 0, NULL);
784
785 va_start (args, format);
786 error = g_error_new_valist (domain, code, format, args);
787 va_end (args);
788
789 return error;
790 }
791
792 /**
793 * g_error_new_literal:
794 * @domain: error domain
795 * @code: error code
796 * @message: error message
797 *
798 * Creates a new #GError; unlike g_error_new(), @message is
799 * not a printf()-style format string. Use this function if
800 * @message contains text you don't have control over,
801 * that could include printf() escape sequences.
802 *
803 * Returns: a new #GError
804 **/
805 GError*
g_error_new_literal(GQuark domain,gint code,const gchar * message)806 g_error_new_literal (GQuark domain,
807 gint code,
808 const gchar *message)
809 {
810 g_return_val_if_fail (message != NULL, NULL);
811 g_return_val_if_fail (domain != 0, NULL);
812
813 return g_error_new_steal (domain, code, g_strdup (message), NULL);
814 }
815
816 /**
817 * g_error_free:
818 * @error: a #GError
819 *
820 * Frees a #GError and associated resources.
821 */
822 void
g_error_free(GError * error)823 g_error_free (GError *error)
824 {
825 gsize private_size;
826 ErrorDomainInfo *info;
827 guint8 *allocated;
828
829 g_return_if_fail (error != NULL);
830
831 g_rw_lock_reader_lock (&error_domain_global);
832 info = error_domain_lookup (error->domain);
833 if (info != NULL)
834 {
835 GErrorClearFunc clear = info->clear;
836
837 private_size = info->private_size;
838 g_rw_lock_reader_unlock (&error_domain_global);
839 clear (error);
840 }
841 else
842 {
843 g_rw_lock_reader_unlock (&error_domain_global);
844 private_size = 0;
845 }
846
847 g_free (error->message);
848 allocated = ((guint8 *) error) - private_size;
849 /* See comments in g_type_free_instance in gtype.c to see what this
850 * magic is about.
851 */
852 #ifdef ENABLE_VALGRIND
853 if (private_size > 0 && RUNNING_ON_VALGRIND)
854 {
855 private_size += ALIGN_STRUCT (1);
856 allocated -= ALIGN_STRUCT (1);
857 *(gpointer *) (allocated + private_size + sizeof (GError)) = NULL;
858 g_slice_free1 (private_size + sizeof (GError) + sizeof (gpointer), allocated);
859 VALGRIND_FREELIKE_BLOCK (allocated + ALIGN_STRUCT (1), 0);
860 VALGRIND_FREELIKE_BLOCK (error, 0);
861 }
862 else
863 #endif
864 g_slice_free1 (private_size + sizeof (GError), allocated);
865 }
866
867 /**
868 * g_error_copy:
869 * @error: a #GError
870 *
871 * Makes a copy of @error.
872 *
873 * Returns: a new #GError
874 */
875 GError*
g_error_copy(const GError * error)876 g_error_copy (const GError *error)
877 {
878 GError *copy;
879 ErrorDomainInfo info;
880
881 g_return_val_if_fail (error != NULL, NULL);
882 /* See g_error_new_valist for why these don't return */
883 g_warn_if_fail (error->domain != 0);
884 g_warn_if_fail (error->message != NULL);
885
886 copy = g_error_new_steal (error->domain,
887 error->code,
888 g_strdup (error->message),
889 &info);
890 if (info.copy != NULL)
891 info.copy (error, copy);
892
893 return copy;
894 }
895
896 /**
897 * g_error_matches:
898 * @error: (nullable): a #GError
899 * @domain: an error domain
900 * @code: an error code
901 *
902 * Returns %TRUE if @error matches @domain and @code, %FALSE
903 * otherwise. In particular, when @error is %NULL, %FALSE will
904 * be returned.
905 *
906 * If @domain contains a `FAILED` (or otherwise generic) error code,
907 * you should generally not check for it explicitly, but should
908 * instead treat any not-explicitly-recognized error code as being
909 * equivalent to the `FAILED` code. This way, if the domain is
910 * extended in the future to provide a more specific error code for
911 * a certain case, your code will still work.
912 *
913 * Returns: whether @error has @domain and @code
914 */
915 gboolean
g_error_matches(const GError * error,GQuark domain,gint code)916 g_error_matches (const GError *error,
917 GQuark domain,
918 gint code)
919 {
920 return error &&
921 error->domain == domain &&
922 error->code == code;
923 }
924
925 #define ERROR_OVERWRITTEN_WARNING "GError set over the top of a previous GError or uninitialized memory.\n" \
926 "This indicates a bug in someone's code. You must ensure an error is NULL before it's set.\n" \
927 "The overwriting error message was: %s"
928
929 /**
930 * g_set_error:
931 * @err: (out callee-allocates) (optional): a return location for a #GError
932 * @domain: error domain
933 * @code: error code
934 * @format: printf()-style format
935 * @...: args for @format
936 *
937 * Does nothing if @err is %NULL; if @err is non-%NULL, then *@err
938 * must be %NULL. A new #GError is created and assigned to *@err.
939 */
940 void
g_set_error(GError ** err,GQuark domain,gint code,const gchar * format,...)941 g_set_error (GError **err,
942 GQuark domain,
943 gint code,
944 const gchar *format,
945 ...)
946 {
947 GError *new;
948
949 va_list args;
950
951 if (err == NULL)
952 return;
953
954 va_start (args, format);
955 new = g_error_new_valist (domain, code, format, args);
956 va_end (args);
957
958 if (*err == NULL)
959 *err = new;
960 else
961 {
962 g_warning (ERROR_OVERWRITTEN_WARNING, new->message);
963 g_error_free (new);
964 }
965 }
966
967 /**
968 * g_set_error_literal:
969 * @err: (out callee-allocates) (optional): a return location for a #GError
970 * @domain: error domain
971 * @code: error code
972 * @message: error message
973 *
974 * Does nothing if @err is %NULL; if @err is non-%NULL, then *@err
975 * must be %NULL. A new #GError is created and assigned to *@err.
976 * Unlike g_set_error(), @message is not a printf()-style format string.
977 * Use this function if @message contains text you don't have control over,
978 * that could include printf() escape sequences.
979 *
980 * Since: 2.18
981 */
982 void
g_set_error_literal(GError ** err,GQuark domain,gint code,const gchar * message)983 g_set_error_literal (GError **err,
984 GQuark domain,
985 gint code,
986 const gchar *message)
987 {
988 if (err == NULL)
989 return;
990
991 if (*err == NULL)
992 *err = g_error_new_literal (domain, code, message);
993 else
994 g_warning (ERROR_OVERWRITTEN_WARNING, message);
995 }
996
997 /**
998 * g_propagate_error:
999 * @dest: (out callee-allocates) (optional) (nullable): error return location
1000 * @src: (transfer full): error to move into the return location
1001 *
1002 * If @dest is %NULL, free @src; otherwise, moves @src into *@dest.
1003 * The error variable @dest points to must be %NULL.
1004 *
1005 * @src must be non-%NULL.
1006 *
1007 * Note that @src is no longer valid after this call. If you want
1008 * to keep using the same GError*, you need to set it to %NULL
1009 * after calling this function on it.
1010 */
1011 void
g_propagate_error(GError ** dest,GError * src)1012 g_propagate_error (GError **dest,
1013 GError *src)
1014 {
1015 g_return_if_fail (src != NULL);
1016
1017 if (dest == NULL)
1018 {
1019 g_error_free (src);
1020 return;
1021 }
1022 else
1023 {
1024 if (*dest != NULL)
1025 {
1026 g_warning (ERROR_OVERWRITTEN_WARNING, src->message);
1027 g_error_free (src);
1028 }
1029 else
1030 *dest = src;
1031 }
1032 }
1033
1034 /**
1035 * g_clear_error:
1036 * @err: a #GError return location
1037 *
1038 * If @err or *@err is %NULL, does nothing. Otherwise,
1039 * calls g_error_free() on *@err and sets *@err to %NULL.
1040 */
1041 void
g_clear_error(GError ** err)1042 g_clear_error (GError **err)
1043 {
1044 if (err && *err)
1045 {
1046 g_error_free (*err);
1047 *err = NULL;
1048 }
1049 }
1050
1051 G_GNUC_PRINTF(2, 0)
1052 static void
g_error_add_prefix(gchar ** string,const gchar * format,va_list ap)1053 g_error_add_prefix (gchar **string,
1054 const gchar *format,
1055 va_list ap)
1056 {
1057 gchar *oldstring;
1058 gchar *prefix;
1059
1060 prefix = g_strdup_vprintf (format, ap);
1061 oldstring = *string;
1062 *string = g_strconcat (prefix, oldstring, NULL);
1063 g_free (oldstring);
1064 g_free (prefix);
1065 }
1066
1067 /**
1068 * g_prefix_error:
1069 * @err: (inout) (optional) (nullable): a return location for a #GError
1070 * @format: printf()-style format string
1071 * @...: arguments to @format
1072 *
1073 * Formats a string according to @format and prefix it to an existing
1074 * error message. If @err is %NULL (ie: no error variable) then do
1075 * nothing.
1076 *
1077 * If *@err is %NULL (ie: an error variable is present but there is no
1078 * error condition) then also do nothing.
1079 *
1080 * Since: 2.16
1081 */
1082 void
g_prefix_error(GError ** err,const gchar * format,...)1083 g_prefix_error (GError **err,
1084 const gchar *format,
1085 ...)
1086 {
1087 if (err && *err)
1088 {
1089 va_list ap;
1090
1091 va_start (ap, format);
1092 g_error_add_prefix (&(*err)->message, format, ap);
1093 va_end (ap);
1094 }
1095 }
1096
1097 /**
1098 * g_propagate_prefixed_error:
1099 * @dest: error return location
1100 * @src: error to move into the return location
1101 * @format: printf()-style format string
1102 * @...: arguments to @format
1103 *
1104 * If @dest is %NULL, free @src; otherwise, moves @src into *@dest.
1105 * *@dest must be %NULL. After the move, add a prefix as with
1106 * g_prefix_error().
1107 *
1108 * Since: 2.16
1109 **/
1110 void
g_propagate_prefixed_error(GError ** dest,GError * src,const gchar * format,...)1111 g_propagate_prefixed_error (GError **dest,
1112 GError *src,
1113 const gchar *format,
1114 ...)
1115 {
1116 g_propagate_error (dest, src);
1117
1118 if (dest)
1119 {
1120 va_list ap;
1121
1122 g_assert (*dest != NULL);
1123 va_start (ap, format);
1124 g_error_add_prefix (&(*dest)->message, format, ap);
1125 va_end (ap);
1126 }
1127 }
1128