14 lines · c
1int goto_test(int input) {2 int *p = 0;3 if (input)4 goto mylabel;5 return 0;6mylabel:7 return *p;8}9 10// RUN: rm -rf %t.output11// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output html -o %t.output %s12// RUN: cat %t.output/* | FileCheck %s --match-full-lines13// CHECK: var relevant_lines = {"1": {"1": 1, "2": 1, "3": 1, "4": 1, "6": 1, "7": 1}};14