Home
last modified time | relevance | path

Searched refs:ASSERT_CONDITION_FALSE (Results 1 – 6 of 6) sorted by relevance

/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dconstraint-manager.cc1569 ASSERT_CONDITION_FALSE (model, x, NE_EXPR, x); in test_constraint_conditions()
1570 ASSERT_CONDITION_FALSE (model, x, LT_EXPR, x); in test_constraint_conditions()
1571 ASSERT_CONDITION_FALSE (model, x, GT_EXPR, x); in test_constraint_conditions()
1584 ASSERT_CONDITION_FALSE (model, x, NE_EXPR, y); in test_constraint_conditions()
1585 ASSERT_CONDITION_FALSE (model, x, LT_EXPR, y); in test_constraint_conditions()
1586 ASSERT_CONDITION_FALSE (model, x, GT_EXPR, y); in test_constraint_conditions()
1592 ASSERT_CONDITION_FALSE (model, y, NE_EXPR, x); in test_constraint_conditions()
1593 ASSERT_CONDITION_FALSE (model, y, LT_EXPR, x); in test_constraint_conditions()
1594 ASSERT_CONDITION_FALSE (model, y, GT_EXPR, x); in test_constraint_conditions()
1616 ASSERT_CONDITION_FALSE (model, x, NE_EXPR, z); in test_constraint_conditions()
[all …]
H A Dregion-model.h2253 #define ASSERT_CONDITION_FALSE(REGION_MODEL, LHS, OP, RHS) \ macro
H A Dregion-model.cc8806 ASSERT_CONDITION_FALSE (model, p, EQ_EXPR, null_ptr); in test_malloc_constraints()
8808 ASSERT_CONDITION_FALSE (model, q, EQ_EXPR, null_ptr); in test_malloc_constraints()
/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dconstraint-manager.cc3170 ASSERT_CONDITION_FALSE (model, x, NE_EXPR, x); in test_constraint_conditions()
3171 ASSERT_CONDITION_FALSE (model, x, LT_EXPR, x); in test_constraint_conditions()
3172 ASSERT_CONDITION_FALSE (model, x, GT_EXPR, x); in test_constraint_conditions()
3201 ASSERT_CONDITION_FALSE (model, x, NE_EXPR, y); in test_constraint_conditions()
3202 ASSERT_CONDITION_FALSE (model, x, LT_EXPR, y); in test_constraint_conditions()
3203 ASSERT_CONDITION_FALSE (model, x, GT_EXPR, y); in test_constraint_conditions()
3209 ASSERT_CONDITION_FALSE (model, y, NE_EXPR, x); in test_constraint_conditions()
3210 ASSERT_CONDITION_FALSE (model, y, LT_EXPR, x); in test_constraint_conditions()
3211 ASSERT_CONDITION_FALSE (model, y, GT_EXPR, x); in test_constraint_conditions()
3234 ASSERT_CONDITION_FALSE (model, x, NE_EXPR, z); in test_constraint_conditions()
[all …]
H A Dregion-model.h1365 #define ASSERT_CONDITION_FALSE(REGION_MODEL, LHS, OP, RHS) \ macro
H A Dregion-model.cc4866 ASSERT_CONDITION_FALSE (model, int_42_sval, NE_EXPR, const_int_42_sval); in test_unique_constants()
6173 ASSERT_CONDITION_FALSE (model, p, EQ_EXPR, null_ptr); in test_malloc_constraints()
6175 ASSERT_CONDITION_FALSE (model, q, EQ_EXPR, null_ptr); in test_malloc_constraints()