Home
last modified time | relevance | path

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

/dports/devel/avr-gcc/gcc-10.2.0/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
/dports/lang/gcc10-devel/gcc-10-20211008/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
/dports/lang/gcc10/gcc-10.3.0/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
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/analyzer/
H A Dconstraint-manager.cc1993 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, y); in test_constraint_conditions()
2013 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, z); in test_constraint_conditions()
2014 ASSERT_CONDITION_UNKNOWN (model, x, LE_EXPR, z); in test_constraint_conditions()
2015 ASSERT_CONDITION_UNKNOWN (model, x, GE_EXPR, z); in test_constraint_conditions()
2016 ASSERT_CONDITION_UNKNOWN (model, x, NE_EXPR, z); in test_constraint_conditions()
2017 ASSERT_CONDITION_UNKNOWN (model, x, LT_EXPR, z); in test_constraint_conditions()
2018 ASSERT_CONDITION_UNKNOWN (model, x, GT_EXPR, z); in test_constraint_conditions()
2025 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, y); in test_constraint_conditions()
2047 ASSERT_CONDITION_UNKNOWN (model, x, LE_EXPR, y); in test_constraint_conditions()
2048 ASSERT_CONDITION_UNKNOWN (model, x, GE_EXPR, y); in test_constraint_conditions()
[all …]
H A Dregion-model.h915 #define ASSERT_CONDITION_UNKNOWN(REGION_MODEL, LHS, OP, RHS) \ macro
H A Dregion-model.cc3957 ASSERT_CONDITION_UNKNOWN (model, y, EQ_EXPR, int_0); in test_assignment()
4934 ASSERT_CONDITION_UNKNOWN (model, p, NE_EXPR, null_ptr); in test_malloc_constraints()
4935 ASSERT_CONDITION_UNKNOWN (model, p, EQ_EXPR, null_ptr); in test_malloc_constraints()
4936 ASSERT_CONDITION_UNKNOWN (model, q, NE_EXPR, null_ptr); in test_malloc_constraints()
4937 ASSERT_CONDITION_UNKNOWN (model, q, EQ_EXPR, null_ptr); in test_malloc_constraints()
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/analyzer/
H A Dconstraint-manager.cc1993 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, y); in test_constraint_conditions()
2013 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, z); in test_constraint_conditions()
2014 ASSERT_CONDITION_UNKNOWN (model, x, LE_EXPR, z); in test_constraint_conditions()
2015 ASSERT_CONDITION_UNKNOWN (model, x, GE_EXPR, z); in test_constraint_conditions()
2016 ASSERT_CONDITION_UNKNOWN (model, x, NE_EXPR, z); in test_constraint_conditions()
2017 ASSERT_CONDITION_UNKNOWN (model, x, LT_EXPR, z); in test_constraint_conditions()
2018 ASSERT_CONDITION_UNKNOWN (model, x, GT_EXPR, z); in test_constraint_conditions()
2025 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, y); in test_constraint_conditions()
2047 ASSERT_CONDITION_UNKNOWN (model, x, LE_EXPR, y); in test_constraint_conditions()
2048 ASSERT_CONDITION_UNKNOWN (model, x, GE_EXPR, y); in test_constraint_conditions()
[all …]
H A Dregion-model.h915 #define ASSERT_CONDITION_UNKNOWN(REGION_MODEL, LHS, OP, RHS) \ macro
H A Dregion-model.cc3957 ASSERT_CONDITION_UNKNOWN (model, y, EQ_EXPR, int_0); in test_assignment()
4934 ASSERT_CONDITION_UNKNOWN (model, p, NE_EXPR, null_ptr); in test_malloc_constraints()
4935 ASSERT_CONDITION_UNKNOWN (model, p, EQ_EXPR, null_ptr); in test_malloc_constraints()
4936 ASSERT_CONDITION_UNKNOWN (model, q, NE_EXPR, null_ptr); in test_malloc_constraints()
4937 ASSERT_CONDITION_UNKNOWN (model, q, EQ_EXPR, null_ptr); in test_malloc_constraints()
/dports/lang/gcc11/gcc-11.2.0/gcc/analyzer/
H A Dconstraint-manager.cc1993 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, y); in test_constraint_conditions()
2013 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, z); in test_constraint_conditions()
2014 ASSERT_CONDITION_UNKNOWN (model, x, LE_EXPR, z); in test_constraint_conditions()
2015 ASSERT_CONDITION_UNKNOWN (model, x, GE_EXPR, z); in test_constraint_conditions()
2016 ASSERT_CONDITION_UNKNOWN (model, x, NE_EXPR, z); in test_constraint_conditions()
2017 ASSERT_CONDITION_UNKNOWN (model, x, LT_EXPR, z); in test_constraint_conditions()
2018 ASSERT_CONDITION_UNKNOWN (model, x, GT_EXPR, z); in test_constraint_conditions()
2025 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, y); in test_constraint_conditions()
2047 ASSERT_CONDITION_UNKNOWN (model, x, LE_EXPR, y); in test_constraint_conditions()
2048 ASSERT_CONDITION_UNKNOWN (model, x, GE_EXPR, y); in test_constraint_conditions()
[all …]
H A Dregion-model.h915 #define ASSERT_CONDITION_UNKNOWN(REGION_MODEL, LHS, OP, RHS) \ macro
H A Dregion-model.cc3957 ASSERT_CONDITION_UNKNOWN (model, y, EQ_EXPR, int_0); in test_assignment()
4934 ASSERT_CONDITION_UNKNOWN (model, p, NE_EXPR, null_ptr); in test_malloc_constraints()
4935 ASSERT_CONDITION_UNKNOWN (model, p, EQ_EXPR, null_ptr); in test_malloc_constraints()
4936 ASSERT_CONDITION_UNKNOWN (model, q, NE_EXPR, null_ptr); in test_malloc_constraints()
4937 ASSERT_CONDITION_UNKNOWN (model, q, EQ_EXPR, null_ptr); in test_malloc_constraints()
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/analyzer/
H A Dconstraint-manager.cc3014 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, y); in test_constraint_conditions()
3034 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, z); in test_constraint_conditions()
3035 ASSERT_CONDITION_UNKNOWN (model, x, LE_EXPR, z); in test_constraint_conditions()
3036 ASSERT_CONDITION_UNKNOWN (model, x, GE_EXPR, z); in test_constraint_conditions()
3037 ASSERT_CONDITION_UNKNOWN (model, x, NE_EXPR, z); in test_constraint_conditions()
3038 ASSERT_CONDITION_UNKNOWN (model, x, LT_EXPR, z); in test_constraint_conditions()
3039 ASSERT_CONDITION_UNKNOWN (model, x, GT_EXPR, z); in test_constraint_conditions()
3046 ASSERT_CONDITION_UNKNOWN (model, x, EQ_EXPR, y); in test_constraint_conditions()
3068 ASSERT_CONDITION_UNKNOWN (model, x, LE_EXPR, y); in test_constraint_conditions()
3069 ASSERT_CONDITION_UNKNOWN (model, x, GE_EXPR, y); in test_constraint_conditions()
[all …]
H A Dregion-model.cc4615 ASSERT_CONDITION_UNKNOWN (model, y, EQ_EXPR, int_0); in test_assignment()
5590 ASSERT_CONDITION_UNKNOWN (model, p, NE_EXPR, null_ptr); in test_malloc_constraints()
5591 ASSERT_CONDITION_UNKNOWN (model, p, EQ_EXPR, null_ptr); in test_malloc_constraints()
5592 ASSERT_CONDITION_UNKNOWN (model, q, NE_EXPR, null_ptr); in test_malloc_constraints()
5593 ASSERT_CONDITION_UNKNOWN (model, q, EQ_EXPR, null_ptr); in test_malloc_constraints()
H A Dregion-model.h1180 #define ASSERT_CONDITION_UNKNOWN(REGION_MODEL, LHS, OP, RHS) \ macro