internal.h 20.6 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
/* String equality tests, suggested by Jim Meyering. */
M
Michal Privoznik 已提交
83 84 85 86 87 88 89 90 91 92
# 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)
93

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

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

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

107
# ifdef __GNUC__
108

109 110 111
#  ifndef __GNUC_PREREQ
#   if defined __GNUC__ && defined __GNUC_MINOR__
#    define __GNUC_PREREQ(maj, min)                                        \
112
    ((__GNUC__ << 16) + __GNUC_MINOR__ >= ((maj) << 16) + (min))
113
#   else
M
Michal Privoznik 已提交
114
#    define __GNUC_PREREQ(maj, min) 0
115
#   endif
116

117
#  endif /* __GNUC__ */
118

D
Daniel Veillard 已提交
119 120 121
/**
 * ATTRIBUTE_UNUSED:
 *
J
Ján Tomko 已提交
122
 * Macro to flag consciously unused parameters to functions
D
Daniel Veillard 已提交
123
 */
124 125 126
#  ifndef ATTRIBUTE_UNUSED
#   define ATTRIBUTE_UNUSED __attribute__((__unused__))
#  endif
127

128 129 130 131 132 133 134 135 136
/**
 * ATTRIBUTE_NORETURN:
 *
 * Macro to indicate that a function won't return to the caller
 */
#  ifndef ATTRIBUTE_NORETURN
#   define ATTRIBUTE_NORETURN __attribute__((__noreturn__))
#  endif

137 138 139 140 141
/**
 * ATTRIBUTE_SENTINEL:
 *
 * Macro to check for NULL-terminated varargs lists
 */
142 143 144 145 146 147 148
#  ifndef ATTRIBUTE_SENTINEL
#   if __GNUC_PREREQ (4, 0)
#    define ATTRIBUTE_SENTINEL __attribute__((__sentinel__))
#   else
#    define ATTRIBUTE_SENTINEL
#   endif
#  endif
149

150 151 152 153 154 155 156 157 158 159 160 161 162 163
/**
 * 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

164
/**
165
 * ATTRIBUTE_FMT_PRINTF
166
 *
167
 * Macro used to check printf like functions, if compiling
168
 * with gcc.
169
 *
E
Eric Blake 已提交
170
 * We use gnulib which guarantees we always have GNU style
171 172
 * printf format specifiers even on broken Win32 platforms
 * hence we have to force 'gnu_printf' for new GCC
173
 */
174 175
#  ifndef ATTRIBUTE_FMT_PRINTF
#   if __GNUC_PREREQ (4, 4)
M
Michal Privoznik 已提交
176
#    define ATTRIBUTE_FMT_PRINTF(fmtpos, argpos) \
177
    __attribute__((__format__ (__gnu_printf__, fmtpos, argpos)))
178
#   else
M
Michal Privoznik 已提交
179
#    define ATTRIBUTE_FMT_PRINTF(fmtpos, argpos) \
180
    __attribute__((__format__ (__printf__, fmtpos, argpos)))
181 182 183 184 185 186 187 188 189 190 191
#   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

192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208
/**
 * 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

209 210 211 212 213 214 215 216 217
/* 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 */
218
#  ifndef ATTRIBUTE_NONNULL
219 220 221 222 223 224
#   if __GNUC_PREREQ (3, 3)
#    if STATIC_ANALYSIS
#     define ATTRIBUTE_NONNULL(m) __attribute__((__nonnull__(m)))
#    else
#     define ATTRIBUTE_NONNULL(m) __attribute__(())
#    endif
225 226 227 228 229
#   else
#    define ATTRIBUTE_NONNULL(m)
#   endif
#  endif

230 231 232 233 234 235 236 237
#  ifndef ATTRIBUTE_FALLTHROUGH
#   if __GNUC_PREREQ (7, 0)
#    define ATTRIBUTE_FALLTHROUGH __attribute__((fallthrough))
#   else
#    define ATTRIBUTE_FALLTHROUGH do {} while(0)
#   endif
#  endif

238
# else
239 240 241 242 243 244 245 246 247
#  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
248 249 250
#  ifndef ATTRIBUTE_NOINLINE
#   define ATTRIBUTE_NOINLINE
#  endif
251 252 253 254
#
#  ifndef ATTRIBUTE_FALLTHROUGH
#   define ATTRIBUTE_FALLTHROUGH do {} while(0)
#  endif
255
# endif				/* __GNUC__ */
256

257

258
# if WORKING_PRAGMA_PUSH
259 260 261
#  define VIR_WARNINGS_NO_CAST_ALIGN \
    _Pragma ("GCC diagnostic push") \
    _Pragma ("GCC diagnostic ignored \"-Wcast-align\"")
262

263 264 265 266
#  define VIR_WARNINGS_NO_DEPRECATED \
    _Pragma ("GCC diagnostic push") \
    _Pragma ("GCC diagnostic ignored \"-Wdeprecated-declarations\"")

267 268
#  if HAVE_SUGGEST_ATTRIBUTE_FORMAT
#   define VIR_WARNINGS_NO_PRINTF \
269 270
    _Pragma ("GCC diagnostic push") \
    _Pragma ("GCC diagnostic ignored \"-Wsuggest-attribute=format\"")
271 272 273 274
#  else
#   define VIR_WARNINGS_NO_PRINTF \
    _Pragma ("GCC diagnostic push")
#  endif
275

276 277 278 279 280 281 282 283 284 285 286
/* 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

287 288 289 290
#  define VIR_WARNINGS_RESET \
    _Pragma ("GCC diagnostic pop")
# else
#  define VIR_WARNINGS_NO_CAST_ALIGN
291
#  define VIR_WARNINGS_NO_DEPRECATED
292
#  define VIR_WARNINGS_NO_PRINTF
293
#  define VIR_WARNINGS_NO_WLOGICALOP_EQUAL_EXPR
294 295 296
#  define VIR_WARNINGS_RESET
# endif

297 298 299 300 301 302 303 304 305 306
/* 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


307 308 309
/*
 * Use this when passing possibly-NULL strings to printf-a-likes.
 */
310
# define NULLSTR(s) ((s) ? (s) : "<null>")
311

312 313 314 315 316
/*
 * Similar to NULLSTR, but print '-' to make it more user friendly.
 */
# define EMPTYSTR(s) ((s) ? (s) : "-")

D
Daniel Veillard 已提交
317 318 319 320 321
/**
 * TODO:
 *
 * macro to flag unimplemented blocks
 */
E
Eric Blake 已提交
322
# define TODO								\
D
Daniel Veillard 已提交
323 324 325
    fprintf(stderr, "Unimplemented block at %s:%d\n",			\
            __FILE__, __LINE__);

326 327 328 329 330 331 332 333 334 335 336 337
/**
 * SWAP:
 *
 * In place exchange of two values
 */
# define SWAP(a, b)         \
    do {                    \
        (a) = (a) ^ (b);    \
        (b) = (a) ^ (b);    \
        (a) = (a) ^ (b);    \
    } while (0)

338 339 340 341 342 343 344 345 346 347 348 349
/**
 * 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)

350 351 352 353 354 355 356 357 358 359 360 361 362
/**
 * 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 已提交
363 364
        unsigned long __unsuppflags = flags & ~(supported);             \
        if (__unsuppflags) {                                            \
365 366 367
            virReportInvalidArg(flags,                                  \
                                _("unsupported flags (0x%lx) in function %s"), \
                                __unsuppflags, __FUNCTION__);           \
368 369 370 371
            return retval;                                              \
        }                                                               \
    } while (0)

372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393
/**
 * 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)

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 433 434 435 436 437 438 439 440
/* 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;                                                     \
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 480 481 482 483 484 485 486 487
        }                                                                   \
    } 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;                                                     \
488 489 490
        }                                                                   \
    } while (0)

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

560 561


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

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

568 569 570 571 572 573
/* 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)

574

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

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

587
#endif                          /* __VIR_INTERNAL_H__ */