16 lines · c
1#define deref(X) (*X)2 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.output13// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output html -o %t.output %s14// RUN: cat %t.output/* | FileCheck %s --match-full-lines15// CHECK: var relevant_lines = {"1": {"3": 1, "4": 1, "5": 1, "6": 1}};16