repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
gitignore: add 'version.h'
2011-08-28
Kamil Dudka
cse: update PHI users w
h
en throwing away
a
n instru
c
tion
Signed-off-by:
Kamil Dudka
<kdudka@redhat.com>
commit
|
commitdiff
|
tree
2011-08-28
Kami
l
D
u
dka
c
se: treat PHI-nod
e
s as o
t
her instructions
Signed-off-by:
Kamil Dudka
<kdudka@redhat.com>
commit
|
commitdiff
|
tree
2011-08-28
Kami
l
Dudka
cse: upda
t
e PHI users when thr
o
wing away an instruction
Signed-off-by:
Kamil Dudka
<kdudka@redhat.com>
commit
|
commitdiff
|
tree
2011-08-28
Kamil Dudka
cse: t
r
eat
P
HI-nodes as
o
ther instruc
t
i
on
s
Signed-off-by:
Kamil Dudka
<kdudka@redhat.com>
commit
|
commitdiff
|
tree
2009-10-16
Kamil Dudka
do
n
ot
i
gnor
e
attribute 'n
o
return'
.
.
.
Signed-off-by:
Kamil Dudka
<kdudka@redhat.com>
commit
|
commitdiff
|
tree
2009-08-11
Kamil Dudka
make sparse heade
r
s s
e
lf-comp
i
lable
.
.
.
Signed-off-by:
Kamil Dudka
<kdudka@redhat.com>
commit
|
commitdiff
|
tree
2009-08-02
K
a
mil Dud
k
a
unssa: track use
s
when r
e
placin
g
a
p
hi nod
e
From:
Kamil Dudka
<kdudka@redhat.com>
Signed-off-by:
Kamil Dudka
<kdudka@redhat.com>
commit
|
commitdiff
|
tree
2009-07-29
Kamil Du
d
k
a
line
a
ri
z
e
.
h: san
i
tize heade
r
Signed-off-by:
Kamil Dudka
<kdudka@redhat.com>
commit
|
commitdiff
|
tree
2009-07-22
K
amil Dudka
co
m
pile-i386: do
not generate an infinite loop
Signed-off-by:
Kamil Dudka
<kdudka@redhat.com>
commit
|
commitdiff
|
tree
