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
comparison: fix up filter_comparison()
2014-09-26
Dan
Carpenter
compar
i
son: fix up filter_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
ranges:
u
se th
e
ranges stored i
n
t
he dat
a
ba
s
e pr
o
perly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
ar
p
enter
ranges:
f
ix crashing
b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
ranges:
s
implify and robustify str_to
_
rl_helper() a b
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpen
t
er
param_limi
t
: save the comparison to
the
a
rguments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Car
p
enter
function_hooks
:
fix
how database comparisons
a
r
e done
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
comparis
o
n: pass the i
g
nor
e
field t
o
range_comparison_to
_
par
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpent
e
r
c
o
mparis
o
n: take
prev
i
ous comparisons into
a
ccount
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Ca
r
p
e
nter
db:
p
refer
l
iterals
to parame
t
e
r
math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpe
n
ter
db:
r
e-add some missing [] ch
a
rac
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
assigned
_
expr: undefine on modification
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
an Ca
r
p
enter
db: fix how
parameter
m
a
th works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan C
a
rpenter
a
s
signed_expr: add revers
e
l
inks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
an C
a
rp
e
nter
links: create a sm
a
t
c
h_links
.
c
file w
i
th function
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan
Carpenter
p
a
rse_
c
al
l
_m
a
th: fix left overs
f
rom the format
change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Ca
r
pe
n
te
r
para
m
_set: write struct member
s
i
n
ter
m
s of
p
a
r
ameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
arpenter
extra: w
r
ite
c
ertain returned st
r
uct members in t
e
rms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
C
arpe
n
t
e
r
db
:
p
a
ss the ret
u
rn expressio
n
to th
e
return
e
d_member
_
c
allback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
an Carpente
r
extr
a
: save return value
s
in terms of parameter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
db:
unify how parame
t
er desc
r
iptions
a
re saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
an Ca
r
penter
compariso
n
:
add
an i
g
nore pa
r
ameter to expr_equal_to_param(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
unreachab
l
e: ignore
t
he
u
nreachable() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan
C
arp
e
nter
err_ptr_deref:
p
assing an ERR_PTR
to
kfr
e
e()
i
s
a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
ext
r
a: handle merging
NULL point
e
rs better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
D
a
n
C
a
rpenter
extra: addresses o
f
arrays a
r
e non-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan C
a
rpenter
db: re
m
ove bogus parameter i
n
formati
o
n
f
rom
h
ook type
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan Ca
r
pen
t
er
db: add a new t
a
bl
e
which hold pa
r
ameter types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
D
an Carpenter
t
y
pe: intr
o
d
u
ce
t
ype_to
_
s
t
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpenter
locki
n
g: r
e
mo
v
e some duplicate "sometimes lo
c
ked" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpen
t
er
generisize
.
pl: filter some more stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
D
an
Carpenter
generesiz
e
.
pl: cleanup i
n
d
entati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan
Carp
e
n
ter
ranges:
a
pointer
t
o
a
n arr
a
y is just
a
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpenter
e
xtra: r
e
co
r
d global
d
eclarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Car
p
enter
conditions: update some debug
output
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
c
o
mp
a
r
ison: introduce p
o
ssi
b
le_compar
i
son(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
ext
r
a
:
u
pdate a de
b
u
g statement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
fun
c
ti
o
n_ptrs: track func
t
ions which return a function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
show_errs
.
sh: quote
s
ome strings properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
t
e
r
slist:
p
u
t get
_
sm_state_stree_sta
c
k() in
t
he
.
h file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
a
rpenter
st
a
tes: ch
a
nge the d
e
bug
o
utput
f
or
m
a
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
s
t
r
uct_
a
ssignment:
h
andle kzalloc() better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpen
t
er
sl
i
s
t
:
a
dd the filename to some debug
ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
flow
:
pa
r
se global variables before
p
arsing function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
C
arpenter
slist: export the set_state_
s
tree_perm() functi
o
n to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
comparison:
a
variable is always equal to
its
e
lf
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
D
an Carpent
e
r
remov
e
null tes
t
s for ar
r
ays
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
D
a
n Car
p
enter
Makefile: allow CC
t
o
b
e defin
e
d ou
t
s
i
de the make
f
il
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
silence no
n
-ANSI warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-05
Dan Car
p
enter
helpe
r
: pr
e
vent
s
egfaul
t
i
n exp
r
_to
_
var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-25
Dan Ca
r
p
enter
e
x
tra: i
m
prove handling of "if (x * 4 > 12) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-18
Da
n
Carpe
n
ter
missing_
b
r
eak: ma
k
e a functio
n
stat
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-14
Dan
C
arpenter
d
b: fix ru
n
ti
m
e breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-11
Dan
C
arpent
e
r
deref
e
rences_param: add more d
e
r
eferenced var
i
a
b
l
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan C
a
rpenter
ranges: remove
unneede
d
NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan Car
p
e
n
ter
type_val
:
store fake assi
g
nments in a
s
ligh
t
l
y
different
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan
Carpenter
pa
r
a
m_set
/
filter
:
don't print
less
usele
s
s information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan
C
arpenter
db: fixup after cal
l
_implies chan
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpenter
param_cleared: handle
direct assignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan
Ca
r
penter
db:
m
ake c
a
ll_impli
e
s m
a
tch ca
l
ler_info with a key
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-18
D
an Carpe
n
ter
smdb
.
p
y
: fix test for if
a
dat
a
type is known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
assigne
d
_expression
:
get t
h
e assigned ex
p
ression using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan
Carpente
r
rosenberg
:
h
andle stru
c
t
t
o str
u
ct assig
n
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpe
n
t
e
r
dat
a
/kernel
.
sizeof_p
a
ram
.
remove: a
d
d __dyn
a
mic_pr
_
d
e
bug()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Da
n
Carpent
e
r
s
truc
t
_assignment: intro
d
uce get_faked_
e
xp
r
ession(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
D
an
Carp
e
nter
s
t
r
uc
t
_a
s
sign
m
ent: handle
m
e
m
cpy(foo,
.
.
.
)
where
foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan
Carpent
e
r
math: be more ambi
t
ious handling right shifts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan
Carpente
r
user_data: kstrtoul()
and friends should taint
data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan
C
arpenter
extra: more limits on whi
c
h
varia
b
les ar
e
equiv
a
lent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
Da
n
Carpenter
db: get return states fr
o
m functio
n
poin
t
e
r
s
if
p
ossi
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
Dan Carpenter
pro
p
agate: remo
v
e validation test becaus
e
we remov
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
slist: introduce
m
erge_fake_
s
tree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
D
a
n Carpenter
unre
a
cha
b
le: silence "not actually init
i
al
i
zed" false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
rose
n
berg: fix some false p
o
siti
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Dan C
a
rpenter
d
e
bug:
i
ntrod
u
ce
_
_
s
match_debug_c
h
eck() to debug a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
Dan Car
p
enter
*
n
e
w
* check_n
o
_if_
b
lo
c
k
:
s
o
metimes th
e
if block
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
D
a
n Carpent
e
r
unco
n
sta
n
t
_macros: add VM_S
O
FTDIRTY
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Car
p
enter
type: introduce is_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Ca
r
penter
use
r
_
data: introduce implie
d
_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan
Carpenter
rosenberg: refactor
match_co
p
y_to_us
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Ca
r
penter
r
o
s
en
b
erg
:
check m
a
ny
m
ore functions ins
t
ead of just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan
C
a
rp
e
n
t
er
r
o
senberg:
a
dd memzero() to clear functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
D
a
n Carp
e
nter
par
a
m_
c
lea
r
ed:
m
emzero() clea
r
s the parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan
C
a
r
pe
n
ter
d
b: split al
l
boolean functions into one and ze
r
o st
r
e
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
D
a
n Carpenter
cl
e
ar
_
buf
f
e
r
:
remove this code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpen
t
er
para
m
_cl
e
ared: this
s
houldn't depend on --info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
nter
locking: update validation to the n
e
w error formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpen
t
er
locking: update error format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
struct_assig
n
ment
:
fix
how
s
ma
t
ch handles foo = N
U
LL;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
an Car
p
enter
rosenberg: pr
e
pare to c
h
e
c
k po
i
n
t
er
s
t
o s
t
r
ucts as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
an Carpenter
rosenbe
r
g: check for hol
e
s at the end o
f
the st
r
u
c
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
ros
e
nberg: th
i
s check is kernel speci
f
ic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpenter
unreach
a
ble
:
turn it on by
default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
h
e
lper: introduce
get_prev_s
t
atement
(
) (fix the build)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
nter
unreacha
b
le:
a
dd watchdog() to k
e
rn
e
l
.
no_return_funcs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arp
e
nter
un
r
each
a
ble: don't prin
t
a
warning if we jum
p
to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpenter
unreachabl
e
: ig
n
or
e
unreachable
c
ode right after an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carp
e
nter
un
r
eacha
b
le: turn off back
w
ard l
a
be
l
ed
warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
unreac
h
able: add
some more macros to the
.
ignore and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
f
low: merge c
o
ntinue
s
befo
r
e the iter
a
tor_post_stat
e
ment
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpenter
flow: handle p
o
st o
p
r
e
t
u
rn
statem
e
nts like:
ret
u
rn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next