codesearch.isocpp.org by Andrew Tomazos.
Enter a valid C/C++ code snippet...
Searching for `#define INVARIANT`...
2489599 source files searched.
29 matches found.
Here is a random sample of matches...
actcd19/main/q/qt4-x11/qt4-x11_4.8.7+dfsg-17/src/3rdparty/webkit/Source/ThirdParty/ANGLE/src/compiler/glslang_tab.h:136:
#endif
/* Tokens. */
#define INVARIANT 258
#define HIGH_PRECISION 259
#define MEDIUM_PRECISION 260
actcd19/main/q/qtwebkit/qtwebkit_2.3.4.dfsg-10/Source/ThirdParty/ANGLE/src/compiler/glslang_tab.cpp:165:
#endif
/* Tokens. */
#define INVARIANT 258
#define HIGH_PRECISION 259
#define MEDIUM_PRECISION 260
actcd19/main/k/kde4libs/kde4libs_4.14.38-3/threadweaver/Weaver/DebuggingAids.h:144:
inline bool invariant() { return true; }
#define INVARIANT Q_ASSERT_X (invariant(), __FILE__, "class invariant failed" );
#define REQUIRE(x) \
actcd19/main/n/ntp/ntp_4.2.8p12+dfsg-3/lib/isc/include/isc/util.h:219:
#define INSIST(e) ISC_INSIST(e)
/*% Invariant Assertion */
#define INVARIANT(e) ISC_INVARIANT(e)
/*
actcd19/main/c/cbmc/cbmc_5.10-5/src/util/invariant.h:107:
#if defined(CPROVER_INVARIANT_CPROVER_ASSERT)
// Used to allow CPROVER to check itself
#define INVARIANT(CONDITION, REASON) \
__CPROVER_assert((CONDITION), "Invariant : " REASON)
actcd19/main/q/qtwebengine-opensource-src/qtwebengine-opensource-src_5.11.3+dfsg-2/src/3rdparty/chromium/third_party/mesa/src/chromium_gensrc/mesa/glsl_parser.cc:460:
#define OR_ASSIGN 366
#define SUB_ASSIGN 367
#define INVARIANT 368
#define LOWP 369
#define MEDIUMP 370
actcd19/main/n/ntpsec/ntpsec_1.1.3+dfsg1-2/include/ntp_assert.h:40:
#define REQUIRE(x) assert(x)
#define INSIST(x) assert(x)
#define INVARIANT(x) assert(x)
#define ENSURE(x) assert(x)
actcd19/main/c/cbmc/cbmc_5.10-5/src/util/invariant.h:204:
#endif
#define INVARIANT(CONDITION, REASON) \
do /* NOLINT */ \
{ \
actcd19/main/c/cbmc/cbmc_5.10-5/src/util/invariant.h:118:
// including silently reporting incorrect results.
// This is also useful for checking side-effect freedom.
#define INVARIANT(CONDITION, REASON) do {} while(false)
#define INVARIANT_STRUCTURED(CONDITION, TYPENAME, ...) do {} while(false)
actcd19/main/c/cbmc/cbmc_5.10-5/src/util/invariant.h:125:
#include <cassert>
// NOLINTNEXTLINE(*)
#define INVARIANT(CONDITION, REASON) assert((CONDITION) && ((REASON), true))
// NOLINTNEXTLINE(*)
#define INVARIANT_STRUCTURED(CONDITION, TYPENAME, ...) assert((CONDITION))
actcd19/main/q/qt4-x11/qt4-x11_4.8.7+dfsg-17/src/3rdparty/webkit/Source/ThirdParty/ANGLE/src/compiler/glslang_tab.cpp:163:
#endif
/* Tokens. */
#define INVARIANT 258
#define HIGH_PRECISION 259
#define MEDIUM_PRECISION 260
actcd19/main/a/aircrack-ng/aircrack-ng_1.5.2-3/src/defs.h:63:
} \
} while (0)
#define INVARIANT(c) \
do \
{ \
actcd19/main/g/gtk-gnutella/gtk-gnutella_1.1.8-2/src/lib/xslist.c:68:
#define CHECK(l) xslist_check(l)
#define INVARIANT(l) xslist_invariant(l)
#define CONTAINS(l,v) xslist_contains(l,v)
#define PREFIX xslist_
actcd19/main/n/ntpsec/ntpsec_1.1.3+dfsg1-2/include/ntp_assert.h:70:
assertiontype_insist, #cond), 0)))
#define INVARIANT(cond) \
((void) ((cond) || (assertion_failed(__FILE__, __LINE__, \
assertiontype_invariant, #cond), 0)))
actcd19/main/q/qtwebengine-opensource-src/qtwebengine-opensource-src_5.11.3+dfsg-2/src/3rdparty/chromium/third_party/mesa/src/chromium_gensrc/mesa/glsl_parser.h:351:
#define OR_ASSIGN 366
#define SUB_ASSIGN 367
#define INVARIANT 368
#define LOWP 369
#define MEDIUMP 370
actcd19/main/g/glhack/glhack_1.2-4/tools/edtile/z_error.h:64:
}} while(0)
#define INVARIANT(str,x) \
do { if (! (x)) { \
Z_Error::Fatal("Violated: %s --> %s:%d, %s\n", \
actcd19/main/q/qtwebkit/qtwebkit_2.3.4.dfsg-10/Source/ThirdParty/ANGLE/src/compiler/glslang_tab.h:138:
#endif
/* Tokens. */
#define INVARIANT 258
#define HIGH_PRECISION 259
#define MEDIUM_PRECISION 260
actcd19/main/c/cmocka/cmocka_1.1.3-1/include/cmocka_pbc.h:53:
* that the instance has not been corrupted.
*/
#define INVARIANT(invariant_fnc) do{ (invariant_fnc) } while (0);
#else
actcd19/main/n/ntp/ntp_4.2.8p12+dfsg-3/include/ntp_assert.h:84:
#define REQUIRE(x) ALWAYS_REQUIRE(x)
#define INSIST(x) ALWAYS_INSIST(x)
#define INVARIANT(x) ALWAYS_INVARIANT(x)
#define ENSURE(x) ALWAYS_ENSURE(x)
actcd19/main/b/bind9/bind9_9.11.5.P4+dfsg-1/lib/isc/include/isc/util.h:218:
#define INSIST(e) ISC_INSIST(e)
/*% Invariant Assertion */
#define INVARIANT(e) ISC_INVARIANT(e)
/*
actcd19/main/t/threadweaver/threadweaver_5.37.0-2/src/debuggingaids.h:158:
}
#define INVARIANT Q_ASSERT_X (invariant(), __FILE__, "class invariant failed" );
#define REQUIRE(x) \
actcd19/main/g/gtk-gnutella/gtk-gnutella_1.1.8-2/src/lib/eslist.c:84:
#define CHECK(l) eslist_check(l)
#define INVARIANT(l) eslist_invariant(l)
#define CONTAINS(l,v) eslist_contains(l,v)
#define PREFIX eslist_
actcd19/main/b/bind9/bind9_9.11.3+dfsg-2/lib/isc/include/isc/util.h:215:
#define INSIST(e) ISC_INSIST(e)
/*% Invariant Assertion */
#define INVARIANT(e) ISC_INVARIANT(e)
/*
actcd19/main/g/glhack/glhack_1.2-4/tools/edtile/z_error.h:48:
#define ASSERT(x) do {} while (0)
#define ARG_CHECK(str,x) do {} while (0)
#define INVARIANT(str,x) do {} while (0)
#else
actcd19/main/t/threadweaver/threadweaver_5.54.0-1/src/debuggingaids.h:158:
}
#define INVARIANT Q_ASSERT_X (invariant(), __FILE__, "class invariant failed" );
#define REQUIRE(x) \
actcd19/main/c/cmocka/cmocka_1.1.3-1/include/cmocka_pbc.h:58:
#define REQUIRE(cond) do { } while (0);
#define ENSURE(cond) do { } while (0);
#define INVARIANT(invariant_fnc) do{ } while (0);
#endif /* defined(UNIT_TESTING) || defined (DEBUG) */
actcd19/main/b/bind9/bind9_9.10.6+dfsg-5/lib/isc/include/isc/util.h:232:
#define INSIST(e) ISC_INSIST(e)
/*% Invariant Assertion */
#define INVARIANT(e) ISC_INVARIANT(e)
/*
actcd19/main/c/cbmc/cbmc_5.6-1/src/cegis/jsa/genetic/jsa_serialiser.cpp:15:
#define RESULT_OP "result_op"
#define OPCODE "opcode"
#define INVARIANT "invariant"
#define PREDICATES "predicates"
#define QUERY "query"
actcd19/main/a/aircrack-ng/aircrack-ng_1.5.2-3/src/defs.h:79:
#define ENSURE(c)
#undef INVARIANT
#define INVARIANT(c)
#endif