Mercurial > hg > CbC > CbC_llvm

annotate clang/test/Analysis/exploded-graph-rewriter/macros.c @ 173:0572611fdcc8 llvm10 llvm12

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reorgnization done
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 11:55:54 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1 #define NULL 0
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
2 void *foo() {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
3 return NULL;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
4 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
5
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
6 // The code above shall go first, because check tags below are sensetive to the line numbers on which the code is placed.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
7 // You can change lines below in the way you need.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
8
150
anatofuz
parents:
diff changeset
9 // FIXME: Figure out how to use %clang_analyze_cc1 with our lit.local.cfg.
anatofuz
parents:
diff changeset
10 // RUN: %clang_cc1 -analyze -triple x86_64-unknown-linux-gnu \
anatofuz
parents:
diff changeset
11 // RUN: -analyzer-checker=core \
anatofuz
parents:
diff changeset
12 // RUN: -analyzer-dump-egraph=%t.dot %s
anatofuz
parents:
diff changeset
13 // RUN: %exploded_graph_rewriter %t.dot | FileCheck %s
anatofuz
parents:
diff changeset
14 // REQUIRES: asserts
anatofuz
parents:
diff changeset
15
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
16 // CHECK: macros.c:<b>3</b>:<b>10</b>
150
anatofuz
parents:
diff changeset
17 // CHECK-SAME: <font color="royalblue1">
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
18 // CHECK-SAME: (<i>spelling at </i> macros.c:<b>1</b>:<b>14</b>)
150
anatofuz
parents:
diff changeset
19 // CHECK-SAME: </font>