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
D
a
n Carpent
e
r
constrain
t
s
: handle
condi
t
i
o
ns like "
i
f (8 <
x
) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
an Carpenter
expr_to_chunk_helper: set *
s
ym when there is only one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan
Car
p
enter
slist: a
l
low show_sm() to acce
p
t NU
L
L pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpe
n
ter
flow
:
d
o
n't
fak
e
an impos
s
ibl
e
defau
l
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
an
C
arpenter
type_val:
record fewe
r
"unknown" assig
n
me
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan C
a
r
p
e
nter
flow:
s
et loop_count to zero when par
s
ing inline functi
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
core:
si
l
ence some false p
o
si
t
ives
f
rom parsing in
v
alid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpenter
im
p
lied: use
a time based ti
m
e
o
ut in
s
t
ead of
c
ounting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Da
n
Carp
e
n
t
e
r
extra: handle loops lik
e
: whi
l
e
(--
i
>
= 0) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carp
e
nter
f
unc
t
ion_hooks: f
a
ke an assignment whe
n
fu
n
c
t
ions return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Ca
r
penter
check_free
_
strict: Ne
w
str
i
c
ter
cross function
us
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan
C
arpenter
check_atomic_inc_dec
:
track atomic_inc() and atomic_de
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan
C
arpenter
ass
i
g
n
ed_ex
p
r: handle fake assig
n
m
e
nts
b
ett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
assi
g
n
e
d_expr
:
remove
d
ebug cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
D
a
n Carpenter
kernel_printf: %px is vali
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
D
an Carpenter
stree
:
debugging: p
r
i
n
t
t
h
e number of states in __print_stree(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Ca
r
penter
m
tag: commit all mt
a
g re
l
ated code
to date
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Car
p
enter
smdb
.
p
y: fix
some
c
rashing bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Car
p
enter
containe
r
_of: handle function calls l
i
ke foo
-
>bar(foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan
C
arpen
t
er
smatch:
get the
smatch bin dir correctly
when
i
t's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpente
r
u
ser
_
data2
:
empty
states are not user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
nter
constraints_
r
equ
i
r
ed: improve hand
l
i
n
g of assigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
db: don't spl
i
t by NULL
v
s non-
N
ULL whe
n
there
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
penter
flow: store a backup
of
t
he start time w
h
e
n
parsing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carp
e
nter
helper: change
s
ome nonsense values to
o
t
h
er
n
onsense
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Car
p
e
n
ter
DB: introd
u
ce a
timeo
u
t ha
n
dling call
e
r i
n
fo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpe
n
te
r
addres
s
:
f
ix ha
n
dling of &foo->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpent
e
r
con
t
straints:
use caller info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carpenter
constraints: move print_re
t
u
rn_implies
_
constr
a
ined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carp
e
nter
c
o
n
s
t
rain
t
s:
clea
n
up unmet_
c
onst
r
aint
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
c
onstraints:
fix add_constrai
n
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan C
a
rpenter
mt
a
g
:
in
t
roduce cr
e
ate_m
t
ag
_
al
i
as()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Ca
r
penter
mtag: fix
g
et_mtag() for recorded st
a
te
s
and fo
r
arra
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Da
n
Car
p
enter
link
s
: no need to record l
i
nk
s
outside a funct
i
on cal
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
D
a
n
C
arpent
e
r
t
y
p
e
_val: cache DB info
a
s a speed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpen
t
er
string_li
s
t: prevent a use after free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
Dan Car
p
enter
mtag: rename from mtag
s
plural t
o
mtag s
i
ngul
a
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpent
e
r
helper: keep
a
s
m
all cache of re
c
ent
l
y used
v
a
riab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra: pass ex
p
r
e
ssio
n
pointer to mod/
n
o
m
od
hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Car
p
enter
e
x
tra: wr
i
te infrastructure to pass expr
t
o
n
o_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carp
e
nter
db/b
u
ild
_
early_index
.
sh:
set up more m
t
ag inde
x
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpenter
express
i
o
ns:
i
nitialize ->mem
b
er_offset()
in member_express
i
on(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpenter
functi
o
n
_
hooks: set path impo
s
sible if we cull ev
e
r
ything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpe
n
ter
mtags:
remove the & p
r
e
-op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpe
n
ter
sc
r
ipts/ge
n
_allo
c
a
tion_
l
ist
.
sh: ad
d
__alloc_skb
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rpenter
db/fixup_kernel
.
sh
:
snprintf() returns aren't real
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
nter
extra: pass the
m
o
dified expre
s
sion to ext
r
a_mo
d
_hoo
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra: store val
u
es
fo
r
expressions l
i
ke "foo
[
3]
.
b
a
r"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpente
r
address: don't se
g
fault par
s
ing invali
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
nter
ignore:
re-wr
i
te and add _e
x
p
r
() versions of funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpent
e
r
param_
s
et/filter: PARAM
_
SET instead
o
f PARAM_ADD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Car
p
enter
parse_call_m
a
th: use assigned val
u
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
Carp
e
nter
sval:
improve sval_bi
n
op_
o
ve
r
flows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpent
e
r
ext
r
a: don't modify
const parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
address
/
type:
m
ake
so
m
e function pa
r
ameters const
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
arpenter
struct_as
s
ig
n
m
ent: remove
a
n dupli
c
ate NULL
c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
arpenter
struct_assignment: don't double pars
e
ulong
assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Ca
r
penter
s
tr
u
ct_
a
ssignme
n
t:
f
ix
a NULL
d
erefe
r
en
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Car
p
enter
db/mtags: add mtag_data
a
nd mtag_ma
p
t
ables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
Ca
r
pent
e
r
db/
f
n_ptr_data_link: don't s
t
ore dupli
c
at
e
r
eco
r
ds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpen
t
er
db: allow SQL s
t
atements to b
e
run l
a
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db: introdu
c
e get_mtag_name_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Car
p
ente
r
str
u
ct_
a
ssignment:
handle non struct,
p
ointer assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpe
n
ter
s
truct_ass
i
gnment: fix han
d
ling of non
_
st
r
u
c
t_as
s
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
Carpenter
struct_assignment: split handle_non_struct_assi
g
ments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan
C
a
rpen
t
er
ind
e
x_o
v
erflo
w
: make a
l
l
messages "e
r
ror:"
i
nstead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpe
n
ter
index_overf
l
ow:
small cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
D
an Carpe
n
ter
index_overflow:
don't w
a
rn about impos
s
ible paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
mtag: introduce memory tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Da
n
Carpenter
i
m
plications: s
e
t_sta
t
e()
shou
l
d trump i
m
pli
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
D
a
n Carpenter
buf_comp
a
riso
n
:
copy the code from smatch_constrain
t
s
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
Dan Car
p
enter
i
m
p
l
i
ed
:
improv
e
t
h
e "to
o
h
a
ir
y
" mes
s
age
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan Carpenter
compariso
n
: store
t
he express
i
o
ns i
n
volv
e
d
(if it'
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan Carpenter
c
ompariso
n
: r
e
name v
a
r1
to left
_
va
r
a
n
d va
r
2 to right
_
var
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
constraints_required: detect a bunch of ne
w
types of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Da
n
Carpent
e
r
const
r
aints: all
o
w function
c
onstr
a
in
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpe
n
ter
constraint
s
:
d
o
n
't
s
t
ore signed vs unsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-04
Da
n
Ca
r
p
enter
kernel_printf: do
n
't s
e
gfault on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Da
n
Carp
e
nter
user_data: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpente
r
t
y
pe_v
a
l: use smatch
_
c
ont
a
ine
r
_of() information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carp
e
nter
u
s
er_
d
a
t
a:
t
his file is rep
l
aced by c
h
eck_us
e
r
_
data2
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan
Carpenter
i
m
plied: add a timeout i
n
smatch_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Car
p
en
t
er
flow:
d
elet
e
ou
t
of
s
cope var
i
ab
l
es for co
m
po
u
nd s
t
atement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan
Carpent
e
r
sc
o
pe: move a check for STMT_COMPOUND earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpen
t
er
validation/
s
m_cast
s
.
c:
update
to n
o
t use an unintial
i
ze
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carp
e
nter
revert "smatch_type
.
c: comparison exp
r
essions
a
l
w
ays
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
an Carpenter
v
a
lidation/sm_b
u
f_size6
.
c: up
d
a
t
e
for
m
at
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpenter
pa
r
se: make an array larger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carp
e
nter
helper
:
fix
get_array_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
assi
g
ned_expr: save a record wh
e
n a function sets
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpe
n
ter
modification_hooks: ha
n
dle PARAM_SET earlie
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
an Carpente
r
.
gi
t
ignore: ignore
.
smatch,
.
sm
a
tch
.
sql
and
.
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
penter
constraints: ad
d
a comment,
r
emove d
e
b
ug c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
penter
constraints
_
require
d
:
store more requi
r
ed
c
o
nstra
i
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n
Carpenter
call
_
math: add kzall
o
c
(
)
to t
h
e list of allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpenter
ca
l
l_ma
t
h
:
prevent an endless loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpent
e
r
a
l
l
o
cation_funcs: add __alloc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpenter
constraints: fix selec
t
ing
the require
d
constra
i
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
check_kern
e
l_printf
.
c: wa
r
n
about "%lx"
,
(long)ptr
commit
|
commitdiff
|
tree
2017-10-30
Ra
s
m
u
s Villemoes
sm
a
tch_type
.
c: comparison
express
i
on
s
always have typ
e
i
nt
commit
|
commitdiff
|
tree
next