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
constraints: handle conditions like "if (8 < x) {"
2018-01-25
Da
n
C
a
r
penter
constr
a
ints: handle c
o
ndi
t
io
n
s
l
i
k
e "if (8 < x) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Ca
r
pente
r
expr_to_chunk_help
e
r
: set *sym when there is
o
nly on
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Ca
r
p
enter
slist: allow
s
how_sm() to acc
e
pt NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
Carp
e
nter
flow: don
'
t fa
k
e an im
p
ossi
b
l
e
de
f
ault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
arpe
n
ter
type_
v
al:
r
ecord
f
ewe
r
"unknown" as
s
i
gnm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carpent
e
r
flo
w
: set loop_count t
o
zero
w
hen pars
i
n
g
inline functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpen
t
er
core: sil
e
n
c
e
som
e
false pos
i
tives fro
m
p
arsing invalid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpente
r
impli
e
d: use a time bas
e
d timeout inste
a
d of cou
n
tin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
D
a
n Ca
r
penter
extra: ha
n
dle loops like: while (--i >= 0) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
f
u
nction_h
o
ok
s
: fake a
n
a
s
signm
e
nt w
h
en functions return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpe
n
te
r
ch
e
ck_free_stri
c
t: New str
i
cter cross function use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carp
e
nter
check_atomic_inc_dec: trac
k
atomic_inc() and atomic_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
assigned_expr
:
handle fa
k
e
assign
m
ents better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Ca
r
penter
a
s
s
igned_ex
p
r: remove debug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Da
n
C
arpe
n
ter
k
ernel
_
printf: %px is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan
Ca
r
penter
stree:
d
ebugging:
p
r
int
t
h
e number of st
a
t
es in __print_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
mtag: commit a
l
l mtag related
c
o
d
e to d
a
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
D
a
n
C
arpenter
smdb
.
p
y
: fix s
o
m
e
c
rashing bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
con
t
ainer_of: handle function calls like
f
oo-
>
bar(foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan
C
arpenter
smatch:
g
et the
s
m
a
tch bin
dir co
r
r
e
ctly when it's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
user_data2:
e
mpty states are not user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
const
r
a
ints_requ
i
red:
impr
o
ve
h
a
ndling of
a
ssign
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpent
e
r
db
:
don
'
t
sp
l
i
t by NULL vs non-NULL whe
n
there ar
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
r
p
enter
flow: st
o
r
e
a
bac
k
up of the start tim
e
when par
s
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
he
l
p
er: ch
a
nge some
n
onsense values t
o
other n
o
nsense
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
an Ca
r
p
enter
DB:
in
t
r
oduce
a
timeou
t
h
andling caller in
f
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpente
r
addre
s
s: fix handling
o
f
&foo->bar
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Carpenter
contstr
a
ints: use caller inf
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Carpenter
constraints: move pri
n
t_retu
r
n_implies_constrained()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpen
t
er
constraints: cleanu
p
unmet_constraint()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpente
r
constraint
s
: f
i
x add_constraint()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-09
Dan Carpente
r
mtag: introduce create_m
t
ag_
a
lias()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Da
n
Carpent
e
r
m
ta
g
: fix get_mtag
(
) for re
c
orded
s
tates
an
d
fo
r
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
D
a
n Car
p
enter
lin
k
s
: no need to
r
ecord links outside a function c
a
ll
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpe
n
ter
type_v
a
l: cache DB
i
nfo as a speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpente
r
string_
l
i
st: prevent a use aft
e
r
free
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-14
D
a
n
Carpe
n
ter
mtag: re
n
ame from mtags plural
t
o mtag
singular
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
helper: keep
a small cac
h
e o
f
re
c
ently used
var
i
ab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpenter
ex
t
r
a: pass expression poin
t
e
r
to mod/nomod hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rpen
t
er
extra: w
r
ite infrastructure to pas
s
expr to no_mod
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carpenter
d
b
/build_early_in
d
ex
.
sh:
s
e
t
up more mtag indexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
expr
e
ssion
s
: init
i
alize ->member_offs
e
t(
)
in membe
r
_
e
xpression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
pente
r
fu
n
ction_hooks: set path
impossible if w
e
cull everything
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpente
r
mtag
s
: remove the
&
pre-op
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
scripts/ge
n
_allocation
_
li
s
t
.
sh: add __alloc_skb()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
db/fixup_kernel
.
sh: snprin
t
f(
)
returns aren't
re
a
l
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n Carpenter
extra: pass the mod
i
fi
e
d expre
s
sio
n
to
extra_mod
_
hooks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpenter
ext
r
a: store values for
expre
s
sions like "foo[3]
.
b
ar"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpe
n
t
e
r
address: don't seg
f
ault parsing invali
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Carpenter
ignore: re-write an
d
add _expr() versions of
funct
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan C
a
rpenter
param_s
e
t/filter:
P
A
RAM_SET
i
ns
t
ead
of PARAM_
A
DD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Car
p
enter
p
a
rs
e
_ca
l
l
_math: use assigned values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Car
p
enter
sval: improve sv
a
l_bino
p
_o
v
erflows
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
extra: don'
t
modify const parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Ca
r
p
enter
address/type
:
make
s
o
me funct
i
on para
m
eters const
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan
Carpe
n
ter
struct_assignmen
t
: remove
a
n duplicate NULL c
h
eck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
struct_assign
m
ent
:
don't
double parse ulong assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Car
p
enter
struct_assign
m
ent: fix a
N
ULL de
r
eference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Carpent
e
r
db
/
mtags
:
add m
t
a
g_da
t
a and mtag_map tables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Car
p
e
n
t
er
db/fn_p
t
r
_
data_li
n
k: d
o
n't store dupli
c
a
te records
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpente
r
db
:
al
l
ow S
Q
L s
t
a
t
e
m
en
t
s to
be r
u
n later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
d
b: intr
o
du
c
e get_mtag_name_
e
x
p
r(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
arp
e
n
ter
s
t
ruct_assignment: handle non struct, p
o
inter
assignm
e
n
ts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Ca
r
pente
r
st
r
u
c
t_assignm
e
n
t
:
fix handling of n
o
n
_
struc
t
_as
s
ignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
D
a
n Carpenter
s
truct_assignment
:
split handle_no
n
_str
u
c
t
_assigm
e
nts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Ca
r
penter
in
d
ex
_
over
f
lo
w
: make all messages
"e
r
r
or:"
i
nst
e
a
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Da
n
Carpenter
i
n
d
ex_overflow:
sm
a
ll cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
index_o
v
er
f
low: don't
war
n
ab
o
u
t i
m
p
o
ssi
b
le paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
m
tag: in
t
roduce memory
tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpent
e
r
implications: set_state(
)
s
h
ould tr
u
mp
implica
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-21
Da
n
Carpenter
buf_compari
s
on: copy the code from s
m
atch_constrai
n
ts
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-15
Da
n
Carpenter
implied: improv
e
the "too hairy" message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
Dan Carpente
r
compa
r
ison: store the e
x
pres
s
io
n
s
in
v
o
lved
(if it's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
Dan Carpenter
comparison:
r
ename var1 to left_v
a
r
and var2 to
right_var
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Dan
C
arpenter
cons
t
r
a
i
n
ts_re
q
uired: detect a bunch of new
types of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
D
an
Ca
r
penter
c
o
nstraint
s
:
a
l
l
ow function co
n
st
r
a
i
nt
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Da
n
Carpenter
constraints: don
'
t s
t
ore signed vs unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-04
D
a
n
Carpen
t
er
kern
e
l
_
prin
t
f: don't segfault on in
v
a
l
i
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
user_data: fix co
m
pile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
ty
p
e
_
va
l
: use
s
m
a
tch_cont
a
i
n
er_of() in
f
ormation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan C
a
rpen
t
er
user_
d
ata: this file is replaced by check
_
user_
d
at
a
2
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Dan Ca
r
p
enter
imp
l
ied:
a
d
d
a
timeout in smat
c
h_implied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
D
an Car
p
enter
flow: delete out o
f
scop
e
variables for compou
n
d statemen
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
scope: mo
v
e a check for S
T
MT_CO
M
POUND
earlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
validation/sm_cas
t
s
.
c: update t
o
n
o
t use an unintialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
r
e
vert "sma
t
ch_type
.
c
: c
o
mparison exp
r
e
ssions always
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Car
p
e
nte
r
validation
/
sm_buf_
s
ize6
.
c: u
p
date form
a
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carp
e
nter
parse: mak
e
an
a
rr
a
y
l
arger
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
a
r
pen
t
er
helper: fix get_arra
y
_exp
r
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
assigned_
e
xpr: s
a
ve a record when
a
function set
s
foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpen
t
er
modification_
h
ooks
:
handle PARAM_
S
ET
earl
i
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
.
gitignore: ignor
e
.
smat
c
h,
.
smat
c
h
.
sql
a
n
d
.
smat
c
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpent
e
r
constrain
t
s: add a commen
t
, remove
d
ebug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpenter
constraints_r
e
quired: store
mor
e
required const
r
a
i
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
call
_
math: add kzal
l
o
c
()
t
o the list of
alloca
t
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpe
n
ter
call_math: prevent an endles
s
loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
an Carpent
e
r
alloca
t
i
o
n_fu
n
c
s
: add
_
_
a
l
l
o
c_skb
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
C
a
rpenter
constraints: fix
se
l
e
c
ting the required constraint
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-30
R
a
s
m
u
s
Villemoes
check_kernel_printf
.
c: warn a
b
out
"%lx", (long)ptr
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
smatch_
t
ype
.
c: comparison exp
r
essions
a
l
ways have type int
commit
|
commitdiff
|
tree
next