internal.h 20.7 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 69 70 71 72 73
/* On architectures which lack these limits, define them (ie. Cygwin).
 * Note that the libvirt code should be robust enough to handle the
 * case where actual value is longer than these limits (eg. by setting
 * length correctly in second argument to gethostname and by always
 * using strncpy instead of strcpy).
 */
74 75 76
# ifndef HOST_NAME_MAX
#  define HOST_NAME_MAX 256
# endif
77

78 79 80
# ifndef INET_ADDRSTRLEN
#  define INET_ADDRSTRLEN 16
# endif
81

82 83
# define VIR_LOOPBACK_IPV4_ADDR "127.0.0.1"

84
/* String equality tests, suggested by Jim Meyering. */
M
Michal Privoznik 已提交
85 86 87 88 89 90 91 92 93 94
# 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)
# define STRSKIP(a, b) (STRPREFIX(a, b) ? (a) + strlen(b) : NULL)
95

96
# define STREQ_NULLABLE(a, b)                           \
97
    ((a) ? (b) && STREQ((a), (b)) : !(b))
98
# define STRNEQ_NULLABLE(a, b)                          \
99
    ((a) ? !(b) || STRNEQ((a), (b)) : !!(b))
100

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

104
/* C99 uses __func__.  __FUNCTION__ is legacy. */
105 106 107
# ifndef __GNUC__
#  define __FUNCTION__ __func__
# endif
108

109
# ifdef __GNUC__
110

D
Daniel Veillard 已提交
111 112 113
/**
 * ATTRIBUTE_UNUSED:
 *
J
Ján Tomko 已提交
114
 * Macro to flag consciously unused parameters to functions
D
Daniel Veillard 已提交
115
 */
116 117 118
#  ifndef ATTRIBUTE_UNUSED
#   define ATTRIBUTE_UNUSED __attribute__((__unused__))
#  endif
119

120 121 122 123 124 125 126 127 128
/**
 * ATTRIBUTE_NORETURN:
 *
 * Macro to indicate that a function won't return to the caller
 */
#  ifndef ATTRIBUTE_NORETURN
#   define ATTRIBUTE_NORETURN __attribute__((__noreturn__))
#  endif

129 130 131 132 133
/**
 * ATTRIBUTE_SENTINEL:
 *
 * Macro to check for NULL-terminated varargs lists
 */
134 135 136 137 138 139 140
#  ifndef ATTRIBUTE_SENTINEL
#   if __GNUC_PREREQ (4, 0)
#    define ATTRIBUTE_SENTINEL __attribute__((__sentinel__))
#   else
#    define ATTRIBUTE_SENTINEL
#   endif
#  endif
141

142 143 144 145 146 147 148 149 150 151 152 153 154 155
/**
 * ATTRIBUTE_NOINLINE:
 *
 * Force compiler not to inline a method. Should be used if
 * the method need to be overridable by test mocks.
 */
#  ifndef ATTRIBUTE_NOINLINE
#   if __GNUC_PREREQ (4, 0)
#    define ATTRIBUTE_NOINLINE __attribute__((__noinline__))
#   else
#    define ATTRIBUTE_NOINLINE
#   endif
#  endif

156
/**
157
 * ATTRIBUTE_FMT_PRINTF
158
 *
159
 * Macro used to check printf like functions, if compiling
160
 * with gcc.
161
 *
E
Eric Blake 已提交
162
 * We use gnulib which guarantees we always have GNU style
163 164
 * printf format specifiers even on broken Win32 platforms
 * hence we have to force 'gnu_printf' for new GCC
165
 */
166 167
#  ifndef ATTRIBUTE_FMT_PRINTF
#   if __GNUC_PREREQ (4, 4)
M
Michal Privoznik 已提交
168
#    define ATTRIBUTE_FMT_PRINTF(fmtpos, argpos) \
169
    __attribute__((__format__ (__gnu_printf__, fmtpos, argpos)))
170
#   else
M
Michal Privoznik 已提交
171
#    define ATTRIBUTE_FMT_PRINTF(fmtpos, argpos) \
172
    __attribute__((__format__ (__printf__, fmtpos, argpos)))
173 174 175 176 177 178 179 180 181 182 183
#   endif
#  endif

#  ifndef ATTRIBUTE_RETURN_CHECK
#   if __GNUC_PREREQ (3, 4)
#    define ATTRIBUTE_RETURN_CHECK __attribute__((__warn_unused_result__))
#   else
#    define ATTRIBUTE_RETURN_CHECK
#   endif
#  endif

184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200
/**
 * 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)
 */
#  ifndef ATTRIBUTE_PACKED
#   if __GNUC_PREREQ (3, 3)
#    define ATTRIBUTE_PACKED __attribute__((packed))
#   else
#    error "Need an __attribute__((packed)) equivalent"
#   endif
#  endif

201 202 203 204 205 206 207 208 209
/* 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 */
210
#  ifndef ATTRIBUTE_NONNULL
211 212 213 214 215 216
#   if __GNUC_PREREQ (3, 3)
#    if STATIC_ANALYSIS
#     define ATTRIBUTE_NONNULL(m) __attribute__((__nonnull__(m)))
#    else
#     define ATTRIBUTE_NONNULL(m) __attribute__(())
#    endif
217 218 219 220 221
#   else
#    define ATTRIBUTE_NONNULL(m)
#   endif
#  endif

222 223 224 225 226 227 228 229
#  ifndef ATTRIBUTE_FALLTHROUGH
#   if __GNUC_PREREQ (7, 0)
#    define ATTRIBUTE_FALLTHROUGH __attribute__((fallthrough))
#   else
#    define ATTRIBUTE_FALLTHROUGH do {} while(0)
#   endif
#  endif

230
# else
231 232 233 234 235 236 237 238 239
#  ifndef ATTRIBUTE_UNUSED
#   define ATTRIBUTE_UNUSED
#  endif
#  ifndef ATTRIBUTE_FMT_PRINTF
#   define ATTRIBUTE_FMT_PRINTF(...)
#  endif
#  ifndef ATTRIBUTE_RETURN_CHECK
#   define ATTRIBUTE_RETURN_CHECK
#  endif
240 241 242
#  ifndef ATTRIBUTE_NOINLINE
#   define ATTRIBUTE_NOINLINE
#  endif
243 244 245 246
#
#  ifndef ATTRIBUTE_FALLTHROUGH
#   define ATTRIBUTE_FALLTHROUGH do {} while(0)
#  endif
247
# endif				/* __GNUC__ */
248

249

250
# if WORKING_PRAGMA_PUSH
251 252 253
#  define VIR_WARNINGS_NO_CAST_ALIGN \
    _Pragma ("GCC diagnostic push") \
    _Pragma ("GCC diagnostic ignored \"-Wcast-align\"")
254

255 256 257 258
#  define VIR_WARNINGS_NO_DEPRECATED \
    _Pragma ("GCC diagnostic push") \
    _Pragma ("GCC diagnostic ignored \"-Wdeprecated-declarations\"")

259 260
#  if HAVE_SUGGEST_ATTRIBUTE_FORMAT
#   define VIR_WARNINGS_NO_PRINTF \
261 262
    _Pragma ("GCC diagnostic push") \
    _Pragma ("GCC diagnostic ignored \"-Wsuggest-attribute=format\"")
263 264 265 266
#  else
#   define VIR_WARNINGS_NO_PRINTF \
    _Pragma ("GCC diagnostic push")
#  endif
267

268 269 270 271 272 273 274 275 276 277 278
/* Workaround bogus GCC 6.0 for logical 'or' equal expression warnings.
 * (GCC bz 69602) */
#  if BROKEN_GCC_WLOGICALOP_EQUAL_EXPR
#   define VIR_WARNINGS_NO_WLOGICALOP_EQUAL_EXPR            \
     _Pragma ("GCC diagnostic push")                        \
     _Pragma ("GCC diagnostic ignored \"-Wlogical-op\"")
#  else
#   define VIR_WARNINGS_NO_WLOGICALOP_EQUAL_EXPR            \
     _Pragma ("GCC diagnostic push")
#  endif

279 280 281 282
#  define VIR_WARNINGS_RESET \
    _Pragma ("GCC diagnostic pop")
# else
#  define VIR_WARNINGS_NO_CAST_ALIGN
283
#  define VIR_WARNINGS_NO_DEPRECATED
284
#  define VIR_WARNINGS_NO_PRINTF
285
#  define VIR_WARNINGS_NO_WLOGICALOP_EQUAL_EXPR
286 287 288
#  define VIR_WARNINGS_RESET
# endif

289 290 291 292 293 294 295 296 297 298
/* 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
#  define VIR_WARNINGS_NO_WLOGICALOP_STRCHR                \
    _Pragma ("GCC diagnostic ignored \"-Wlogical-op\"")
# else
#  define VIR_WARNINGS_NO_WLOGICALOP_STRCHR
# endif


299 300 301
/*
 * Use this when passing possibly-NULL strings to printf-a-likes.
 */
302
# define NULLSTR(s) ((s) ? (s) : "<null>")
303

304 305 306 307 308
/*
 * Similar to NULLSTR, but print '-' to make it more user friendly.
 */
# define EMPTYSTR(s) ((s) ? (s) : "-")

D
Daniel Veillard 已提交
309 310 311 312 313
/**
 * TODO:
 *
 * macro to flag unimplemented blocks
 */
E
Eric Blake 已提交
314
# define TODO								\
D
Daniel Veillard 已提交
315 316 317
    fprintf(stderr, "Unimplemented block at %s:%d\n",			\
            __FILE__, __LINE__);

318 319 320 321 322 323 324 325 326 327 328 329
/**
 * SWAP:
 *
 * In place exchange of two values
 */
# define SWAP(a, b)         \
    do {                    \
        (a) = (a) ^ (b);    \
        (b) = (a) ^ (b);    \
        (a) = (a) ^ (b);    \
    } while (0)

330 331 332 333 334 335 336 337 338 339 340 341
/**
 * VIR_STEAL_PTR:
 *
 * Steals pointer passed as second argument into the first argument. Second
 * argument must not have side effects.
 */
# define VIR_STEAL_PTR(a, b)  \
    do {                      \
        (a) = (b);            \
        (b) = NULL;           \
    } while (0)

342 343 344 345 346 347 348 349 350 351 352 353 354
/**
 * 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.
 */
# define virCheckFlags(supported, retval)                               \
    do {                                                                \
C
Chris Lalancette 已提交
355 356
        unsigned long __unsuppflags = flags & ~(supported);             \
        if (__unsuppflags) {                                            \
357 358 359
            virReportInvalidArg(flags,                                  \
                                _("unsupported flags (0x%lx) in function %s"), \
                                __unsuppflags, __FUNCTION__);           \
360 361 362 363
            return retval;                                              \
        }                                                               \
    } while (0)

364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385
/**
 * 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.
 */
# define virCheckFlagsGoto(supported, label)                            \
    do {                                                                \
        unsigned long __unsuppflags = flags & ~(supported);             \
        if (__unsuppflags) {                                            \
            virReportInvalidArg(flags,                                  \
                                _("unsupported flags (0x%lx) in function %s"), \
                                __unsuppflags, __FUNCTION__);           \
            goto label;                                                 \
        }                                                               \
    } while (0)

386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432
/* 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.
 */
# 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;                                                     \
        }                                                                   \
    } 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.
 */
# 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;                                                     \
433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479
        }                                                                   \
    } 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.
 */
# 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;                                                     \
        }                                                                   \
    } 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.
 */
# 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;                                                     \
480 481 482
        }                                                                   \
    } while (0)

483 484 485
# define virCheckNonNullArgReturn(argname, retval)  \
    do {                                            \
        if (argname == NULL) {                      \
486
            virReportInvalidNonNullArg(argname);    \
487 488 489 490 491
            return retval;                          \
        }                                           \
    } while (0)
# define virCheckNullArgGoto(argname, label)        \
    do {                                            \
492
        if (argname != NULL) {                      \
493 494 495 496 497 498 499 500 501 502 503
            virReportInvalidNullArg(argname);       \
            goto label;                             \
        }                                           \
    } while (0)
# define virCheckNonNullArgGoto(argname, label)     \
    do {                                            \
        if (argname == NULL) {                      \
            virReportInvalidNonNullArg(argname);    \
            goto label;                             \
        }                                           \
    } while (0)
504 505 506 507 508 509 510 511 512 513 514
# define virCheckNonEmptyStringArgGoto(argname, label) \
    do {                                               \
        if (argname == NULL) {                         \
            virReportInvalidNonNullArg(argname);       \
            goto label;                                \
        }                                              \
        if (*argname == '\0') {                        \
            virReportInvalidEmptyStringArg(argname);   \
            goto label;                                \
        }                                              \
    } while (0)
515 516 517 518 519 520 521
# define virCheckPositiveArgGoto(argname, label)    \
    do {                                            \
        if (argname <= 0) {                         \
            virReportInvalidPositiveArg(argname);   \
            goto label;                             \
        }                                           \
    } while (0)
522 523 524 525 526 527 528
# define virCheckPositiveArgReturn(argname, retval)     \
    do {                                                \
        if (argname <= 0) {                             \
            virReportInvalidPositiveArg(argname);       \
            return retval;                              \
        }                                               \
    } while (0)
529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549
# define virCheckNonZeroArgGoto(argname, label)     \
    do {                                            \
        if (argname == 0) {                         \
            virReportInvalidNonZeroArg(argname);    \
            goto label;                             \
        }                                           \
    } while (0)
# define virCheckZeroArgGoto(argname, label)        \
    do {                                            \
        if (argname != 0) {                         \
            virReportInvalidNonZeroArg(argname);    \
            goto label;                             \
        }                                           \
    } while (0)
# define virCheckNonNegativeArgGoto(argname, label)     \
    do {                                                \
        if (argname < 0) {                              \
            virReportInvalidNonNegativeArg(argname);    \
            goto label;                                 \
        }                                               \
    } while (0)
550 551 552 553 554 555 556 557 558
# define virCheckReadOnlyGoto(flags, label)                             \
    do {                                                                \
        if ((flags) & VIR_CONNECT_RO) {                                 \
            virReportRestrictedError(_("read only access prevents %s"), \
                                     __FUNCTION__);                     \
            goto label;                                                 \
        }                                                               \
    } while (0)

559 560


561 562 563
/* divide value by size, rounding up */
# define VIR_DIV_UP(value, size) (((value) + (size) - 1) / (size))

564 565 566
/* round up value to the closest multiple of size */
# define VIR_ROUND_UP(value, size) (VIR_DIV_UP(value, size) * (size))

567 568 569 570 571 572
/* 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). */
# define VIR_ROUND_UP_POWER_OF_TWO(value)                                   \
    ((value) > 0 && (value) <= 1U << (sizeof(unsigned int) * 8 - 1) ?       \
     1U << (sizeof(unsigned int) * 8 - count_leading_zeros((value) - 1)) : 0)

573

574 575 576 577 578 579 580
/* 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 */
};
581

582 583 584 585
# ifndef ENODATA
#  define ENODATA EIO
# endif

586
#endif                          /* __VIR_INTERNAL_H__ */