Home
last modified time | relevance | path

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

/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dconstraint-manager.cc1577 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, y); in test_constraint_conditions()
1597 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, z); in test_constraint_conditions()
1598 ASSERT_CONDITION_UNKNOWN (model, x, LE_EXPR, z); in test_constraint_conditions()
1599 ASSERT_CONDITION_UNKNOWN (model, x, GE_EXPR, z); in test_constraint_conditions()
1600 ASSERT_CONDITION_UNKNOWN (model, x, NE_EXPR, z); in test_constraint_conditions()
1601 ASSERT_CONDITION_UNKNOWN (model, x, LT_EXPR, z); in test_constraint_conditions()
1602 ASSERT_CONDITION_UNKNOWN (model, x, GT_EXPR, z); in test_constraint_conditions()
1608 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, y); in test_constraint_conditions()
1629 ASSERT_CONDITION_UNKNOWN (model, x, LE_EXPR, y); in test_constraint_conditions()
1630 ASSERT_CONDITION_UNKNOWN (model, x, GE_EXPR, y); in test_constraint_conditions()
[all …]
H A Dregion-model.cc7876 ASSERT_CONDITION_UNKNOWN (model1, x, EQ_EXPR, int_42); in test_purging_by_criteria()
7893 ASSERT_CONDITION_UNKNOWN (model1, x, GE_EXPR, int_0); in test_purging_by_criteria()
7894 ASSERT_CONDITION_UNKNOWN (model1, x, LE_EXPR, int_42); in test_purging_by_criteria()
7911 ASSERT_CONDITION_UNKNOWN (model1, x, NE_EXPR, int_42); in test_purging_by_criteria()
7927 ASSERT_CONDITION_UNKNOWN (model1, x, NE_EXPR, int_42); in test_purging_by_criteria()
7928 ASSERT_CONDITION_UNKNOWN (model1, y, NE_EXPR, int_0); in test_purging_by_criteria()
7992 ASSERT_CONDITION_UNKNOWN (model, y, EQ_EXPR, int_0); in test_assignment()
8795 ASSERT_CONDITION_UNKNOWN (model, p, NE_EXPR, null_ptr); in test_malloc_constraints()
8796 ASSERT_CONDITION_UNKNOWN (model, p, EQ_EXPR, null_ptr); in test_malloc_constraints()
8797 ASSERT_CONDITION_UNKNOWN (model, q, NE_EXPR, null_ptr); in test_malloc_constraints()
[all …]
H A Dregion-model.h2262 #define ASSERT_CONDITION_UNKNOWN(REGION_MODEL, LHS, OP, RHS) \ macro
/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dconstraint-manager.cc3194 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, y); in test_constraint_conditions()
3214 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, z); in test_constraint_conditions()
3215 ASSERT_CONDITION_UNKNOWN (model, x, LE_EXPR, z); in test_constraint_conditions()
3216 ASSERT_CONDITION_UNKNOWN (model, x, GE_EXPR, z); in test_constraint_conditions()
3217 ASSERT_CONDITION_UNKNOWN (model, x, NE_EXPR, z); in test_constraint_conditions()
3218 ASSERT_CONDITION_UNKNOWN (model, x, LT_EXPR, z); in test_constraint_conditions()
3219 ASSERT_CONDITION_UNKNOWN (model, x, GT_EXPR, z); in test_constraint_conditions()
3226 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, y); in test_constraint_conditions()
3248 ASSERT_CONDITION_UNKNOWN (model, x, LE_EXPR, y); in test_constraint_conditions()
3249 ASSERT_CONDITION_UNKNOWN (model, x, GE_EXPR, y); in test_constraint_conditions()
[all …]
H A Dregion-model.cc5182 ASSERT_CONDITION_UNKNOWN (model, y, EQ_EXPR, int_0); in test_assignment()
6165 ASSERT_CONDITION_UNKNOWN (model, p, NE_EXPR, null_ptr); in test_malloc_constraints()
6166 ASSERT_CONDITION_UNKNOWN (model, p, EQ_EXPR, null_ptr); in test_malloc_constraints()
6167 ASSERT_CONDITION_UNKNOWN (model, q, NE_EXPR, null_ptr); in test_malloc_constraints()
6168 ASSERT_CONDITION_UNKNOWN (model, q, EQ_EXPR, null_ptr); in test_malloc_constraints()
H A Dregion-model.h1374 #define ASSERT_CONDITION_UNKNOWN(REGION_MODEL, LHS, OP, RHS) \ macro