18 lines · c
1#define NULL 02void *foo(void) {3 return NULL;4}5 6// The code above shall go first, because check tags below are sensetive to the line numbers on which the code is placed.7// You can change lines below in the way you need.8 9// RUN: %clang_analyze_cc1 -triple x86_64-unknown-linux-gnu \10// RUN: -analyzer-checker=core \11// RUN: -analyzer-dump-egraph=%t.dot %s12// RUN: %exploded_graph_rewriter %t.dot | FileCheck %s13 14// CHECK: macros.c:<b>3</b>:<b>10</b>15// CHECK-SAME: <font color="royalblue1">16// CHECK-SAME: (<i>spelling at </i> macros.c:<b>1</b>:<b>14</b>)17// CHECK-SAME: </font>18