Page MenuHomePhabricator
Differential D63362 Diff 205704 cfe/trunk/test/Analysis/expr-inspection.c

Changeset View

Standalone View

View Options

cfe/trunk/test/Analysis/expr-inspection.c

Show All 19 Lines if (y == 2) {
if (!z) if (!z)
clang_analyzer_printState(); clang_analyzer_printState();
} }
} }
} }
// CHECK: "program_state": { // CHECK: "program_state": {
// CHECK-NEXT: "store": [ // CHECK-NEXT: "store": [
// CHECK-NEXT: { "cluster": "y", "items": [ // CHECK-NEXT: { "cluster": "y", "pointer": "{{0x[0-9a-f]+}}", "items": [
// CHECK-NEXT: { "kind": "Direct", "offset": 0, "value": "2 S32b" } // CHECK-NEXT: { "kind": "Direct", "offset": 0, "value": "2 S32b" }
// CHECK-NEXT: ]} // CHECK-NEXT: ]}
// CHECK-NEXT: ], // CHECK-NEXT: ],
// CHECK-NEXT: "environment": [ // CHECK-NEXT: "environment": [
// CHECK-NEXT: { "lctx_id": 1, "location_context": "#0 Call", "calling": "foo", "call_line": null, "items": [ // CHECK-NEXT: { "lctx_id": 1, "location_context": "#0 Call", "calling": "foo", "call_line": null, "items": [
// CHECK-NEXT: { "stmt_id": {{[0-9]+}}, "pretty": "clang_analyzer_printState", "value": "&code{clang_analyzer_printState}" } // CHECK-NEXT: { "stmt_id": {{[0-9]+}}, "pretty": "clang_analyzer_printState", "value": "&code{clang_analyzer_printState}" }
// CHECK-NEXT: ]} // CHECK-NEXT: ]}
// CHECK-NEXT: ], // CHECK-NEXT: ],
// CHECK-NEXT: "constraints": [ // CHECK-NEXT: "constraints": [
// CHECK-NEXT: { "symbol": "reg_$0<int x>", "range": "{ [-2147483648, 13] }" } // CHECK-NEXT: { "symbol": "reg_$0<int x>", "range": "{ [-2147483648, 13] }" }
// CHECK-NEXT: ], // CHECK-NEXT: ],
// CHECK-NEXT: "dynamic_types": null, // CHECK-NEXT: "dynamic_types": null,
// CHECK-NEXT: "constructing_objects": null, // CHECK-NEXT: "constructing_objects": null,
// CHECK-NEXT: "checker_messages": null // CHECK-NEXT: "checker_messages": null
// CHECK-NEXT: } // CHECK-NEXT: }