17 lines · c
1int f(2 int coin,3 int paramA,4 int paramB) {5 if (coin) {6 int *x = 0;7 return *x;8 } else {9 return 0;10 }11}12 13// RUN: rm -rf %t.output14// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output html -o %t.output %s15// RUN: cat %t.output/* | FileCheck %s --match-full-lines16// CHECK: var relevant_lines = {"1": {"1": 1, "2": 1, "3": 1, "4": 1, "5": 1, "6": 1, "7": 1}};17