1 #define deref(X) (*X) 2 f(int coin)3int f(int coin) { 4 if (coin) { 5 int *x = 0; 6 return deref(x); 7 } else { 8 return 0; 9 } 10 } 11 12 // RUN: rm -rf %t.output 13 // RUN: %clang_analyze_cc1 -analyze -analyzer-checker=core -analyzer-output html -o %t.output %s 14 // RUN: cat %t.output/* | FileCheck %s --match-full-lines 15 // CHECK: var relevant_lines = {"1": {"3": 1, "4": 1, "5": 1, "6": 1}}; 16