1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
|
/*
* Example trivial client program that uses the sparse library
* to tokenize, pre-process and parse a C file, and prints out
* the results.
*
* Copyright (C) 2003 Transmeta Corp.
* 2003-2004 Linus Torvalds
*
* Licensed under the Open Software License version 1.1
*/
#include <stdarg.h>
#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <ctype.h>
#include <unistd.h>
#include <fcntl.h>
#include "lib.h"
#include "allocate.h"
#include "token.h"
#include "parse.h"
#include "symbol.h"
#include "expression.h"
#include "linearize.h"
static int context_increase(struct basic_block *bb)
{
int sum = 0;
struct instruction *insn;
FOR_EACH_PTR(bb->insns, insn) {
if (insn->opcode == OP_CONTEXT)
sum += insn->increment;
} END_FOR_EACH_PTR(insn);
return sum;
}
static int imbalance(struct entrypoint *ep, struct basic_block *bb, int entry, int exit, const char *why)
{
if (Wcontext) {
struct symbol *sym = ep->name;
warning(bb->pos, "context imbalance in '%s' - %s", show_ident(sym->ident), why);
}
return -1;
}
static int check_bb_context(struct entrypoint *ep, struct basic_block *bb, int entry, int exit);
static int check_children(struct entrypoint *ep, struct basic_block *bb, int entry, int exit)
{
struct instruction *insn;
struct basic_block *child;
insn = last_instruction(bb->insns);
if (!insn)
return 0;
if (insn->opcode == OP_RET)
return entry != exit ? imbalance(ep, bb, entry, exit, "wrong count at exit") : 0;
FOR_EACH_PTR(bb->children, child) {
if (check_bb_context(ep, child, entry, exit))
return -1;
} END_FOR_EACH_PTR(child);
return 0;
}
static int check_bb_context(struct entrypoint *ep, struct basic_block *bb, int entry, int exit)
{
if (!bb)
return 0;
if (bb->context == entry)
return 0;
/* Now that's not good.. */
if (bb->context >= 0)
return imbalance(ep, bb, entry, bb->context, "different lock contexts for basic block");
bb->context = entry;
entry += context_increase(bb);
if (entry < 0)
return imbalance(ep, bb, entry, exit, "unexpected unlock");
return check_children(ep, bb, entry, exit);
}
static void check_context(struct entrypoint *ep)
{
struct symbol *sym = ep->name;
if (verbose && ep->entry->bb->needs) {
pseudo_t pseudo;
FOR_EACH_PTR(ep->entry->bb->needs, pseudo) {
if (pseudo->type != PSEUDO_ARG)
warning(sym->pos, "%s: possible uninitialized variable (%s)",
show_ident(sym->ident), show_pseudo(pseudo));
} END_FOR_EACH_PTR(pseudo);
}
check_bb_context(ep, ep->entry->bb, sym->ctype.in_context, sym->ctype.out_context);
}
static void check_symbols(struct symbol_list *list)
{
struct symbol *sym;
FOR_EACH_PTR(list, sym) {
struct entrypoint *ep;
expand_symbol(sym);
ep = linearize_symbol(sym);
if (ep)
check_context(ep);
} END_FOR_EACH_PTR(sym);
}
int main(int argc, char **argv)
{
// Expand, linearize and show it.
check_symbols(sparse(argc, argv));
return 0;
}
|
GitWeb