/dports/devel/avr-gcc/gcc-10.2.0/gcc/analyzer/ |
H A D | constraint-manager.cc | 1577 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 D | region-model.cc | 7876 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 D | region-model.h | 2262 #define ASSERT_CONDITION_UNKNOWN(REGION_MODEL, LHS, OP, RHS) \ macro
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/analyzer/ |
H A D | constraint-manager.cc | 1577 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 D | region-model.cc | 7876 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 D | region-model.h | 2262 #define ASSERT_CONDITION_UNKNOWN(REGION_MODEL, LHS, OP, RHS) \ macro
|
/dports/lang/gcc10/gcc-10.3.0/gcc/analyzer/ |
H A D | constraint-manager.cc | 1577 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 D | region-model.cc | 7876 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 D | region-model.h | 2262 #define ASSERT_CONDITION_UNKNOWN(REGION_MODEL, LHS, OP, RHS) \ macro
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/analyzer/ |
H A D | constraint-manager.cc | 1993 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 D | region-model.h | 915 #define ASSERT_CONDITION_UNKNOWN(REGION_MODEL, LHS, OP, RHS) \ macro
|
H A D | region-model.cc | 3957 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 D | constraint-manager.cc | 1993 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 D | region-model.h | 915 #define ASSERT_CONDITION_UNKNOWN(REGION_MODEL, LHS, OP, RHS) \ macro
|
H A D | region-model.cc | 3957 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 D | constraint-manager.cc | 1993 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 D | region-model.h | 915 #define ASSERT_CONDITION_UNKNOWN(REGION_MODEL, LHS, OP, RHS) \ macro
|
H A D | region-model.cc | 3957 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 D | constraint-manager.cc | 3014 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 D | region-model.cc | 4615 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 D | region-model.h | 1180 #define ASSERT_CONDITION_UNKNOWN(REGION_MODEL, LHS, OP, RHS) \ macro
|