• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download

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