22 lines · c
1// RUN: %clang_analyze_cc1 \2// RUN: -analyzer-checker=debug.ExprInspection %s 2>&1 | FileCheck %s3 4void clang_analyzer_printState(void);5 6void test_equivalence_classes(int a, int b, int c, int d) {7 if (a + b != c)8 return;9 if (a != d)10 return;11 if (b != 0)12 return;13 clang_analyzer_printState();14 (void)(a * b * c * d);15 return;16}17 18// CHECK: "equivalence_classes": [19// CHECK-NEXT: [ "(reg_$0<int a>) != (reg_$5<int c>)" ],20// CHECK-NEXT: [ "reg_$0<int a>", "reg_$20<int d>", "reg_$5<int c>" ]21// CHECK-NEXT: ],22