internal.h 15.5 KB
Newer Older
1 2
/*
 * internal.h: internal definitions just used by code from the library
E
Eric Blake 已提交
3
 *
4
 * Copyright (C) 2006-2014 Red Hat, Inc.
E
Eric Blake 已提交
5 6 7 8 9 10 11 12 13 14 15 16 17 18
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2.1 of the License, or (at your option) any later version.
 *
 * This library 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
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library.  If not, see
 * <http://www.gnu.org/licenses/>.
19 20
 */

21
#ifndef __VIR_INTERNAL_H__
22
# define __VIR_INTERNAL_H__
23

24 25 26
# include <errno.h>
# include <limits.h>
# include <verify.h>
27
# include <stdbool.h>
28
# include <stdint.h>
29

30 31 32 33 34 35 36 37
# if STATIC_ANALYSIS
#  undef NDEBUG /* Don't let a prior NDEBUG definition cause trouble.  */
#  include <assert.h>
#  define sa_assert(expr) assert (expr)
# else
#  define sa_assert(expr) /* empty */
# endif

38 39 40 41
/* The library itself is allowed to use deprecated functions /
 * variables, so effectively undefine the deprecated attribute
 * which would otherwise be defined in libvirt.h.
 */
42
# undef VIR_DEPRECATED
43
# define VIR_DEPRECATED /*empty*/
44

45 46 47
/* The library itself needs to know enum sizes.  */
# define VIR_ENUM_SENTINELS

E
Eric Blake 已提交
48 49 50 51 52 53
/* All uses of _() within the library should pick up translations from
 * libvirt's message files, rather than from the package that is
 * linking in the library.  Setting this macro before including
 * "gettext.h" means that gettext() (and _()) will properly expand to
 * dgettext.  */
# define DEFAULT_TEXT_DOMAIN PACKAGE
54
# include "gettext.h"
E
Eric Blake 已提交
55 56
# define _(str) gettext(str)
# define N_(str) str
57

58
# include "libvirt/libvirt.h"
59
# include "libvirt/libvirt-lxc.h"
60
# include "libvirt/libvirt-qemu.h"
M
Martin Kletzander 已提交
61
# include "libvirt/libvirt-admin.h"
62
# include "libvirt/virterror.h"
63

64
# include "c-strcase.h"
65
# include "ignore-value.h"
66
# include "count-leading-zeros.h"
67

68
/* String equality tests, suggested by Jim Meyering. */
M
Michal Privoznik 已提交
69 70 71 72 73 74 75 76 77
# define STREQ(a, b) (strcmp(a, b) == 0)
# define STRCASEEQ(a, b) (c_strcasecmp(a, b) == 0)
# define STRNEQ(a, b) (strcmp(a, b) != 0)
# define STRCASENEQ(a, b) (c_strcasecmp(a, b) != 0)
# define STREQLEN(a, b, n) (strncmp(a, b, n) == 0)
# define STRCASEEQLEN(a, b, n) (c_strncasecmp(a, b, n) == 0)
# define STRNEQLEN(a, b, n) (strncmp(a, b, n) != 0)
# define STRCASENEQLEN(a, b, n) (c_strncasecmp(a, b, n) != 0)
# define STRPREFIX(a, b) (strncmp(a, b, strlen(b)) == 0)
P
Pino Toscano 已提交
78
# define STRCASEPREFIX(a, b) (c_strncasecmp(a, b, strlen(b)) == 0)
M
Michal Privoznik 已提交
79
# define STRSKIP(a, b) (STRPREFIX(a, b) ? (a) + strlen(b) : NULL)
80

81
# define STREQ_NULLABLE(a, b) \
82
    ((a) ? (b) && STREQ((a), (b)) : !(b))
83
# define STRNEQ_NULLABLE(a, b) \
84
    ((a) ? !(b) || STRNEQ((a), (b)) : !!(b))
85

86
# define NUL_TERMINATE(buf) do { (buf)[sizeof(buf)-1] = '\0'; } while (0)
87
# define ARRAY_CARDINALITY(Array) (sizeof(Array) / sizeof(*(Array)))
88

D
Daniel Veillard 已提交
89 90 91
/**
 * ATTRIBUTE_UNUSED:
 *
J
Ján Tomko 已提交
92
 * Macro to flag consciously unused parameters to functions
D
Daniel Veillard 已提交
93
 */
94 95 96
# ifndef ATTRIBUTE_UNUSED
#  define ATTRIBUTE_UNUSED __attribute__((__unused__))
# endif
97

98 99 100 101 102
/**
 * ATTRIBUTE_NORETURN:
 *
 * Macro to indicate that a function won't return to the caller
 */
103 104 105
# ifndef ATTRIBUTE_NORETURN
#  define ATTRIBUTE_NORETURN __attribute__((__noreturn__))
# endif
106

107 108 109 110 111
/**
 * ATTRIBUTE_SENTINEL:
 *
 * Macro to check for NULL-terminated varargs lists
 */
112 113 114
# ifndef ATTRIBUTE_SENTINEL
#  define ATTRIBUTE_SENTINEL __attribute__((__sentinel__))
# endif
115

116
/**
117
 * ATTRIBUTE_NOINLINE:
118
 *
119 120
 * Force compiler not to inline a method. Should be used if
 * the method need to be overridable by test mocks.
121
 */
122 123
# ifndef ATTRIBUTE_NOINLINE
#  define ATTRIBUTE_NOINLINE __attribute__((__noinline__))
124
# endif
125

126
/**
127
 * ATTRIBUTE_FMT_PRINTF
128
 *
129
 * Macro used to check printf like functions, if compiling
130
 * with gcc.
131
 *
E
Eric Blake 已提交
132
 * We use gnulib which guarantees we always have GNU style
133 134
 * printf format specifiers even on broken Win32 platforms
 * hence we have to force 'gnu_printf' for new GCC
135
 */
136 137 138 139 140 141 142
# ifndef ATTRIBUTE_FMT_PRINTF
#  ifndef __clang__
#   define ATTRIBUTE_FMT_PRINTF(fmtpos, argpos) \
       __attribute__((__format__ (__gnu_printf__, fmtpos, argpos)))
#  else
#   define ATTRIBUTE_FMT_PRINTF(fmtpos, argpos) \
       __attribute__((__format__ (__printf__, fmtpos, argpos)))
143
#  endif
144
# endif
145

146 147 148
# ifndef ATTRIBUTE_RETURN_CHECK
#  define ATTRIBUTE_RETURN_CHECK __attribute__((__warn_unused_result__))
# endif
149

150 151 152 153 154 155 156 157 158
/**
 * ATTRIBUTE_PACKED
 *
 * force a structure to be packed, i.e. not following architecture and
 * compiler best alignments for its sub components. It's needed for example
 * for the network filetering code when defining the content of raw
 * ethernet packets.
 * Others compiler than gcc may use something different e.g. #pragma pack(1)
 */
159 160 161
# ifndef ATTRIBUTE_PACKED
#  define ATTRIBUTE_PACKED __attribute__((packed))
# endif
162

163 164 165 166 167 168 169 170 171
/* gcc's handling of attribute nonnull is less than stellar - it does
 * NOT improve diagnostics, and merely allows gcc to optimize away
 * null code checks even when the caller manages to pass null in spite
 * of the attribute, leading to weird crashes.  Coverity, on the other
 * hand, knows how to do better static analysis based on knowing
 * whether a parameter is nonnull.  Make this attribute conditional
 * based on whether we are compiling for real or for analysis, while
 * still requiring correct gcc syntax when it is turned off.  See also
 * http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308 */
172 173 174 175 176
# ifndef ATTRIBUTE_NONNULL
#  if STATIC_ANALYSIS
#   define ATTRIBUTE_NONNULL(m) __attribute__((__nonnull__(m)))
#  else
#   define ATTRIBUTE_NONNULL(m) __attribute__(())
177
#  endif
178
# endif
179

180 181 182 183
# ifndef ATTRIBUTE_FALLTHROUGH
#  if __GNUC_PREREQ (7, 0)
#   define ATTRIBUTE_FALLTHROUGH __attribute__((fallthrough))
#  else
184 185
#   define ATTRIBUTE_FALLTHROUGH do {} while(0)
#  endif
186
# endif
187

188
# if WORKING_PRAGMA_PUSH
189 190 191
#  define VIR_WARNINGS_NO_CAST_ALIGN \
    _Pragma ("GCC diagnostic push") \
    _Pragma ("GCC diagnostic ignored \"-Wcast-align\"")
192

193 194 195 196
#  define VIR_WARNINGS_NO_DEPRECATED \
    _Pragma ("GCC diagnostic push") \
    _Pragma ("GCC diagnostic ignored \"-Wdeprecated-declarations\"")

197 198
#  if HAVE_SUGGEST_ATTRIBUTE_FORMAT
#   define VIR_WARNINGS_NO_PRINTF \
199 200
    _Pragma ("GCC diagnostic push") \
    _Pragma ("GCC diagnostic ignored \"-Wsuggest-attribute=format\"")
201 202 203 204
#  else
#   define VIR_WARNINGS_NO_PRINTF \
    _Pragma ("GCC diagnostic push")
#  endif
205

206 207 208
/* Workaround bogus GCC 6.0 for logical 'or' equal expression warnings.
 * (GCC bz 69602) */
#  if BROKEN_GCC_WLOGICALOP_EQUAL_EXPR
209 210
#   define VIR_WARNINGS_NO_WLOGICALOP_EQUAL_EXPR \
     _Pragma ("GCC diagnostic push") \
211 212
     _Pragma ("GCC diagnostic ignored \"-Wlogical-op\"")
#  else
213
#   define VIR_WARNINGS_NO_WLOGICALOP_EQUAL_EXPR \
214 215 216
     _Pragma ("GCC diagnostic push")
#  endif

217 218 219 220
#  define VIR_WARNINGS_RESET \
    _Pragma ("GCC diagnostic pop")
# else
#  define VIR_WARNINGS_NO_CAST_ALIGN
221
#  define VIR_WARNINGS_NO_DEPRECATED
222
#  define VIR_WARNINGS_NO_PRINTF
223
#  define VIR_WARNINGS_NO_WLOGICALOP_EQUAL_EXPR
224 225 226
#  define VIR_WARNINGS_RESET
# endif

227 228 229
/* Workaround bogus GCC < 4.6 that produces false -Wlogical-op warnings for
 * strchr(). Those old GCCs don't support push/pop. */
# if BROKEN_GCC_WLOGICALOP_STRCHR
230
#  define VIR_WARNINGS_NO_WLOGICALOP_STRCHR \
231 232 233 234 235 236
    _Pragma ("GCC diagnostic ignored \"-Wlogical-op\"")
# else
#  define VIR_WARNINGS_NO_WLOGICALOP_STRCHR
# endif


237 238 239
/*
 * Use this when passing possibly-NULL strings to printf-a-likes.
 */
240
# define NULLSTR(s) ((s) ? (s) : "<null>")
241

242 243 244 245 246
/*
 * Similar to NULLSTR, but print '-' to make it more user friendly.
 */
# define EMPTYSTR(s) ((s) ? (s) : "-")

247 248 249 250 251
/**
 * SWAP:
 *
 * In place exchange of two values
 */
252 253 254 255 256
# define SWAP(a, b) \
    do { \
        (a) = (a) ^ (b); \
        (b) = (a) ^ (b); \
        (a) = (a) ^ (b); \
257 258
    } while (0)

259 260 261 262 263 264
/**
 * VIR_STEAL_PTR:
 *
 * Steals pointer passed as second argument into the first argument. Second
 * argument must not have side effects.
 */
265 266 267 268
# define VIR_STEAL_PTR(a, b) \
    do { \
        (a) = (b); \
        (b) = NULL; \
269 270
    } while (0)

271 272 273 274 275 276 277 278 279 280 281
/**
 * virCheckFlags:
 * @supported: an OR'ed set of supported flags
 * @retval: return value in case unsupported flags were passed
 *
 * To avoid memory leaks this macro has to be used before any non-trivial
 * code which could possibly allocate some memory.
 *
 * Returns nothing. Exits the caller function if unsupported flags were
 * passed to it.
 */
282 283 284 285 286
# define virCheckFlags(supported, retval) \
    do { \
        unsigned long __unsuppflags = flags & ~(supported); \
        if (__unsuppflags) { \
            virReportInvalidArg(flags, \
287
                                _("unsupported flags (0x%lx) in function %s"), \
288 289 290
                                __unsuppflags, __FUNCTION__); \
            return retval; \
        } \
291 292
    } while (0)

293 294 295 296 297 298 299 300 301 302 303
/**
 * virCheckFlagsGoto:
 * @supported: an OR'ed set of supported flags
 * @label: label to jump to on error
 *
 * To avoid memory leaks this macro has to be used before any non-trivial
 * code which could possibly allocate some memory.
 *
 * Returns nothing. Jumps to a label if unsupported flags were
 * passed to it.
 */
304 305 306 307 308
# define virCheckFlagsGoto(supported, label) \
    do { \
        unsigned long __unsuppflags = flags & ~(supported); \
        if (__unsuppflags) { \
            virReportInvalidArg(flags, \
309
                                _("unsupported flags (0x%lx) in function %s"), \
310 311 312
                                __unsuppflags, __FUNCTION__); \
            goto label; \
        } \
313 314
    } while (0)

315 316 317 318 319 320 321 322 323 324 325 326 327 328 329
/* Macros to help dealing with mutually exclusive flags. */

/**
 * VIR_EXCLUSIVE_FLAGS_RET:
 *
 * @FLAG1: First flag to be checked.
 * @FLAG2: Second flag to be checked.
 * @RET: Return value.
 *
 * Reject mutually exclusive API flags.  The checked flags are compared
 * with flags variable.
 *
 * This helper does an early return and therefore it has to be called
 * before anything that would require cleanup.
 */
330 331 332 333 334 335 336 337 338
# define VIR_EXCLUSIVE_FLAGS_RET(FLAG1, FLAG2, RET) \
    do { \
        if ((flags & FLAG1) && (flags & FLAG2)) { \
            virReportInvalidArg(ctl, \
                                _("Flags '%s' and '%s' are mutually " \
                                  "exclusive"), \
                                #FLAG1, #FLAG2); \
            return RET; \
        } \
339 340 341 342 343 344 345 346 347 348 349 350 351 352 353
    } while (0)

/**
 * VIR_EXCLUSIVE_FLAGS_GOTO:
 *
 * @FLAG1: First flag to be checked.
 * @FLAG2: Second flag to be checked.
 * @LABEL: Label to jump to.
 *
 * Reject mutually exclusive API flags.  The checked flags are compared
 * with flags variable.
 *
 * Returns nothing.  Jumps to a label if unsupported flags were
 * passed to it.
 */
354 355 356 357 358 359 360 361 362
# define VIR_EXCLUSIVE_FLAGS_GOTO(FLAG1, FLAG2, LABEL) \
    do { \
        if ((flags & FLAG1) && (flags & FLAG2)) { \
            virReportInvalidArg(ctl, \
                                _("Flags '%s' and '%s' are mutually " \
                                  "exclusive"), \
                                #FLAG1, #FLAG2); \
            goto LABEL; \
        } \
363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379
    } while (0)

/* Macros to help dealing with flag requirements. */

/**
 * VIR_REQUIRE_FLAG_RET:
 *
 * @FLAG1: First flag to be checked.
 * @FLAG2: Second flag that is required by first flag.
 * @RET: Return value.
 *
 * Check whether required flag is set.  The checked flags are compared
 * with flags variable.
 *
 * This helper does an early return and therefore it has to be called
 * before anything that would require cleanup.
 */
380 381 382 383 384 385 386 387
# define VIR_REQUIRE_FLAG_RET(FLAG1, FLAG2, RET) \
    do { \
        if ((flags & FLAG1) && !(flags & FLAG2)) { \
            virReportInvalidArg(ctl, \
                                _("Flag '%s' is required by flag '%s'"), \
                                #FLAG2, #FLAG1); \
            return RET; \
        } \
388 389 390 391 392 393 394 395 396 397 398 399 400 401
    } while (0)

/**
 * VIR_REQUIRE_FLAG_GOTO:
 *
 * @FLAG1: First flag to be checked.
 * @FLAG2: Second flag that is required by first flag.
 * @LABEL: Label to jump to.
 *
 * Check whether required flag is set.  The checked flags are compared
 * with flags variable.
 *
 * Returns nothing.  Jumps to a label if required flag is not set.
 */
402 403 404 405 406 407 408 409
# define VIR_REQUIRE_FLAG_GOTO(FLAG1, FLAG2, LABEL) \
    do { \
        if ((flags & FLAG1) && !(flags & FLAG2)) { \
            virReportInvalidArg(ctl, \
                                _("Flag '%s' is required by flag '%s'"), \
                                #FLAG2, #FLAG1); \
            goto LABEL; \
        } \
410 411
    } while (0)

412 413 414 415 416 417
# define virCheckNonNullArgReturn(argname, retval) \
    do { \
        if (argname == NULL) { \
            virReportInvalidNonNullArg(argname); \
            return retval; \
        } \
418
    } while (0)
419 420 421 422 423 424
# define virCheckNullArgGoto(argname, label) \
    do { \
        if (argname != NULL) { \
            virReportInvalidNullArg(argname); \
            goto label; \
        } \
425
    } while (0)
426 427 428 429 430 431
# define virCheckNonNullArgGoto(argname, label) \
    do { \
        if (argname == NULL) { \
            virReportInvalidNonNullArg(argname); \
            goto label; \
        } \
432
    } while (0)
433
# define virCheckNonEmptyStringArgGoto(argname, label) \
434 435 436 437 438 439 440 441 442
    do { \
        if (argname == NULL) { \
            virReportInvalidNonNullArg(argname); \
            goto label; \
        } \
        if (*argname == '\0') { \
            virReportInvalidEmptyStringArg(argname); \
            goto label; \
        } \
443
    } while (0)
444 445 446 447 448 449
# define virCheckPositiveArgGoto(argname, label) \
    do { \
        if (argname <= 0) { \
            virReportInvalidPositiveArg(argname); \
            goto label; \
        } \
450
    } while (0)
451 452 453 454 455 456
# define virCheckPositiveArgReturn(argname, retval) \
    do { \
        if (argname <= 0) { \
            virReportInvalidPositiveArg(argname); \
            return retval; \
        } \
457
    } while (0)
458 459 460 461 462 463
# define virCheckNonZeroArgGoto(argname, label) \
    do { \
        if (argname == 0) { \
            virReportInvalidNonZeroArg(argname); \
            goto label; \
        } \
464
    } while (0)
465 466 467 468 469 470
# define virCheckZeroArgGoto(argname, label) \
    do { \
        if (argname != 0) { \
            virReportInvalidNonZeroArg(argname); \
            goto label; \
        } \
471
    } while (0)
472 473 474 475 476 477
# define virCheckNonNegativeArgGoto(argname, label) \
    do { \
        if (argname < 0) { \
            virReportInvalidNonNegativeArg(argname); \
            goto label; \
        } \
478
    } while (0)
479 480 481
# define virCheckReadOnlyGoto(flags, label) \
    do { \
        if ((flags) & VIR_CONNECT_RO) { \
482
            virReportRestrictedError(_("read only access prevents %s"), \
483 484 485
                                     __FUNCTION__); \
            goto label; \
        } \
486 487
    } while (0)

488 489


490 491 492
/* divide value by size, rounding up */
# define VIR_DIV_UP(value, size) (((value) + (size) - 1) / (size))

493 494 495
/* round up value to the closest multiple of size */
# define VIR_ROUND_UP(value, size) (VIR_DIV_UP(value, size) * (size))

496 497
/* Round up to the next closest power of 2. It will return rounded number or 0
 * for 0 or number more than 2^31 (for 32bit unsigned int). */
498 499
# define VIR_ROUND_UP_POWER_OF_TWO(value) \
    ((value) > 0 && (value) <= 1U << (sizeof(unsigned int) * 8 - 1) ? \
500 501
     1U << (sizeof(unsigned int) * 8 - count_leading_zeros((value) - 1)) : 0)

502

503 504 505 506 507 508 509
/* Specific error values for use in forwarding programs such as
 * virt-login-shell; these values match what GNU env does.  */
enum {
    EXIT_CANCELED = 125, /* Failed before attempting exec */
    EXIT_CANNOT_INVOKE = 126, /* Exists but couldn't exec */
    EXIT_ENOENT = 127, /* Could not find program to exec */
};
510

511 512 513 514
# ifndef ENODATA
#  define ENODATA EIO
# endif

515
#endif                          /* __VIR_INTERNAL_H__ */