| // RUN: %clang_analyze_cc1 %s \ |
| // RUN: -analyzer-checker=core \ |
| // RUN: -analyzer-checker=apiModeling.StdCLibraryFunctions \ |
| // RUN: -analyzer-checker=alpha.unix.StdCLibraryFunctionArgs \ |
| // RUN: -analyzer-checker=debug.StdCLibraryFunctionsTester \ |
| // RUN: -analyzer-config apiModeling.StdCLibraryFunctions:DisplayLoadedSummaries=true \ |
| // RUN: -analyzer-checker=debug.ExprInspection \ |
| // RUN: -analyzer-config eagerly-assume=false \ |
| // RUN: -triple i686-unknown-linux \ |
| // RUN: -verify |
| |
| // In this test we verify that each argument constraints are described properly. |
| |
| // Check NotNullConstraint violation notes. |
| int __not_null(int *); |
| void test_not_null(int *x) { |
| __not_null(nullptr); // \ |
| // expected-warning{{The 1st argument to '__not_null' is NULL but should not be NULL [}} |
| } |
| |
| // Check the BufferSizeConstraint violation notes. |
| using size_t = decltype(sizeof(int)); |
| int __buf_size_arg_constraint_concrete(const void *); // size <= 10 |
| int __buf_size_arg_constraint(const void *, size_t); // size <= Arg1 |
| int __buf_size_arg_constraint_mul(const void *, size_t, size_t); // size <= Arg1 * Arg2 |
| void test_buffer_size(int x) { |
| switch (x) { |
| case 1: { |
| char buf[9]; |
| __buf_size_arg_constraint_concrete(buf); // \ |
| // expected-warning{{The 1st argument to '__buf_size_arg_constraint_concrete' is a buffer with size 9 but should be a buffer with size equal to or greater than 10 [}} |
| break; |
| } |
| case 2: { |
| char buf[3]; |
| __buf_size_arg_constraint(buf, 4); // \ |
| // expected-warning{{The 1st argument to '__buf_size_arg_constraint' is a buffer with size 3 but should be a buffer with size equal to or greater than the value of the 2nd argument (which is 4) [}} |
| break; |
| } |
| case 3: { |
| char buf[3]; |
| __buf_size_arg_constraint_mul(buf, 4, 2); // \ |
| // expected-warning{{The 1st argument to '__buf_size_arg_constraint_mul' is a buffer with size 3 but should be a buffer with size equal to or greater than the value of the 2nd argument (which is 4) times the 3rd argument (which is 2) [}} |
| break; |
| } |
| } |
| } |
| |
| // Check the RangeConstraint violation notes. |
| |
| int __single_val_0(int); // [0, 0] |
| int __single_val_1(int); // [1, 1] |
| int __range_1_2(int); // [1, 2] |
| int __range_m1_1(int); // [-1, 1] |
| int __range_m2_m1(int); // [-2, -1] |
| int __range_m10_10(int); // [-10, 10] |
| int __range_m1_inf(int); // [-1, inf] |
| int __range_0_inf(int); // [0, inf] |
| int __range_1_inf(int); // [1, inf] |
| int __range_minf_m1(int); // [-inf, -1] |
| int __range_minf_0(int); // [-inf, 0] |
| int __range_minf_1(int); // [-inf, 1] |
| int __range_1_2__4_6(int); // [1, 2], [4, 6] |
| int __range_1_2__4_inf(int); // [1, 2], [4, inf] |
| |
| int __single_val_out_0(int); // [0, 0] |
| int __single_val_out_1(int); // [1, 1] |
| int __range_out_1_2(int); // [1, 2] |
| int __range_out_m1_1(int); // [-1, 1] |
| int __range_out_m2_m1(int); // [-2, -1] |
| int __range_out_m10_10(int); // [-10, 10] |
| int __range_out_m1_inf(int); // [-1, inf] |
| int __range_out_0_inf(int); // [0, inf] |
| int __range_out_1_inf(int); // [1, inf] |
| int __range_out_minf_m1(int); // [-inf, -1] |
| int __range_out_minf_0(int); // [-inf, 0] |
| int __range_out_minf_1(int); // [-inf, 1] |
| int __range_out_1_2__4_6(int); // [1, 2], [4, 6] |
| int __range_out_1_2__4_inf(int); // [1, 2], [4, inf] |
| |
| int __test_case_range_1_2__4_6(int); |
| |
| void test_range_values(int x) { |
| switch (x) { |
| case 0: |
| __single_val_0(1); // expected-warning{{is 1 but should be zero}} |
| break; |
| case 1: |
| __single_val_1(2); // expected-warning{{is 2 but should be 1}} |
| break; |
| case 2: |
| __range_1_2(3); // expected-warning{{is 3 but should be 1 or 2}} |
| break; |
| case 3: |
| __range_m1_1(3); // expected-warning{{is 3 but should be between -1 and 1}} |
| break; |
| case 4: |
| __range_m2_m1(1); // expected-warning{{is 1 but should be -2 or -1}} |
| break; |
| case 5: |
| __range_m10_10(11); // expected-warning{{is 11 but should be between -10 and 10}} |
| break; |
| case 6: |
| __range_m10_10(-11); // expected-warning{{is -11 but should be between -10 and 10}} |
| break; |
| case 7: |
| __range_1_2__4_6(3); // expected-warning{{is 3 but should be 1 or 2 or between 4 and 6}} |
| break; |
| case 8: |
| __range_1_2__4_inf(3); // expected-warning{{is 3 but should be 1 or 2 or >= 4}} |
| break; |
| } |
| } |
| |
| void test_range_values_inf(int x) { |
| switch (x) { |
| case 1: |
| __range_m1_inf(-2); // expected-warning{{is -2 but should be >= -1}} |
| break; |
| case 2: |
| __range_0_inf(-1); // expected-warning{{is -1 but should be >= 0}} |
| break; |
| case 3: |
| __range_1_inf(0); // expected-warning{{is 0 but should be > 0}} |
| break; |
| case 4: |
| __range_minf_m1(0); // expected-warning{{is 0 but should be < 0}} |
| break; |
| case 5: |
| __range_minf_0(1); // expected-warning{{is 1 but should be <= 0}} |
| break; |
| case 6: |
| __range_minf_1(2); // expected-warning{{is 2 but should be <= 1}} |
| break; |
| } |
| } |
| |
| void test_range_values_out(int x) { |
| switch (x) { |
| case 0: |
| __single_val_out_0(0); // expected-warning{{is 0 but should be nonzero}} |
| break; |
| case 1: |
| __single_val_out_1(1); // expected-warning{{is 1 but should be not equal to 1}} |
| break; |
| case 2: |
| __range_out_1_2(2); // expected-warning{{is 2 but should be not 1 and not 2}} |
| break; |
| case 3: |
| __range_out_m1_1(-1); // expected-warning{{is -1 but should be not between -1 and 1}} |
| break; |
| case 4: |
| __range_out_m2_m1(-2); // expected-warning{{is -2 but should be not -2 and not -1}} |
| break; |
| case 5: |
| __range_out_m10_10(0); // expected-warning{{is 0 but should be not between -10 and 10}} |
| break; |
| case 6: |
| __range_out_1_2__4_6(1); // expected-warning{{is 1 but should be not 1 and not 2 and not between 4 and 6}} |
| break; |
| case 7: |
| __range_out_1_2__4_inf(4); // expected-warning{{is 4 but should be not 1 and not 2 and < 4}} |
| break; |
| } |
| } |
| |
| void test_range_values_out_inf(int x) { |
| switch (x) { |
| case 1: |
| __range_out_minf_m1(-1); // expected-warning{{is -1 but should be >= 0}} |
| break; |
| case 2: |
| __range_out_minf_0(0); // expected-warning{{is 0 but should be > 0}} |
| break; |
| case 3: |
| __range_out_minf_1(1); // expected-warning{{is 1 but should be > 1}} |
| break; |
| case 4: |
| __range_out_m1_inf(-1); // expected-warning{{is -1 but should be < -1}} |
| break; |
| case 5: |
| __range_out_0_inf(0); // expected-warning{{is 0 but should be < 0}} |
| break; |
| case 6: |
| __range_out_1_inf(1); // expected-warning{{is 1 but should be <= 0}} |
| break; |
| } |
| } |
| |
| void test_explanation(int x, int y) { |
| switch (y) { |
| case 1: |
| if (x > 0) |
| __single_val_0(x); // expected-warning{{is > 0 but should be zero [}} |
| return; |
| case 2: |
| if (x < 0) |
| __single_val_0(x); // expected-warning{{is < 0 but should be zero [}} |
| return; |
| case 3: |
| if (x < -1) |
| __single_val_0(x); // expected-warning{{is < 0 but should be zero [}} |
| return; |
| case 4: |
| if (x != 0) |
| __single_val_0(x); // expected-warning{{is out of the accepted range; It should be zero [}} |
| return; |
| case 5: |
| if (x == 3) |
| __range_1_2__4_6(x); // expected-warning{{is 3 but should be 1 or 2 or between 4 and 6 [}} |
| return; |
| case 6: |
| if (x > 6) |
| __range_1_2__4_6(x); // expected-warning{{is >= 7 but should be 1 or 2 or between 4 and 6 [}} |
| return; |
| case 7: |
| if (x < 1) |
| __range_1_2__4_6(x); // expected-warning{{is <= 0 but should be 1 or 2 or between 4 and 6 [}} |
| return; |
| case 8: |
| if (__test_case_range_1_2__4_6(x) == 1) |
| __range_1_2__4_6(x); // expected-warning{{is 3 or <= 0 but should be 1 or 2 or between 4 and 6 [}} |
| return; |
| case 9: |
| if (__test_case_range_1_2__4_6(x) == 2) |
| __range_1_2__4_6(x); // expected-warning{{is 3 or >= 7 but should be 1 or 2 or between 4 and 6 [}} |
| return; |
| case 10: |
| if (__test_case_range_1_2__4_6(x) == 3) |
| __range_1_2__4_6(x); // expected-warning{{is <= 0 or >= 7 but should be 1 or 2 or between 4 and 6 [}} |
| return; |
| case 11: |
| if (__test_case_range_1_2__4_6(x) == 4) |
| __range_1_2__4_6(x); // expected-warning{{is out of the accepted range; It should be 1 or 2 or between 4 and 6 [}} |
| return; |
| } |
| } |