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
free: don't turn off warnings if --spammy is set
2014-10-28
D
a
n Carpenter
free: don
'
t turn off warnings if --spa
m
m
y
is
set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
D
an Carpenter
d
b
/fixup_ke
r
nel
.
sh: bitmap_alloc
a
te_
r
egion doesn't
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf_compari
s
o
n
:
store which data holds array limits
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpente
r
buf_com
p
arison, bu
f
_size: add rea
l
loc() to allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan Car
p
enter
comp
a
r
e: in
t
r
od
u
c
e
g
e
t_all_comparisons()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan Car
p
e
nter
db
:
a
d
d data_info
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
D
a
n Car
p
enter
auto
_
c
o
py:
assignm
e
n
ts c
o
pies stat
e
s a
u
tomatically
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
Dan
Carpen
t
er
buf
_
comparison: look for off b
y
one errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
D
an Carpenter
Mer
g
e br
a
nch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
err_ptr_deref: error messa
g
e
should
s
ay "negati
v
e"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
free: imp
r
o
ve
cr
o
ss functi
o
n tra
c
k
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan Car
p
enter
s
h
ift_to_zer
o
:
check
for things like "
(
f
oo &
0
xff
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
Dan C
a
rpenter
parse_call_m
a
th: han
d
l
e
math lik
e
"$0-
>
foo + 5"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpente
r
parse
_
call_math: m
o
re format ch
a
nge fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
parse_call_math: N
U
LL
t
ermin
a
te buf
si
z
e
recipes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
D
a
n Carpe
n
t
e
r
call_math: u
s
e
r
ange list
s
instead of
only exact v
a
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan
Carpenter
ra
n
ges: start
implementing rl_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Ca
r
p
e
nter
c
omparison: store general
limits
i
n
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Car
p
enter
compar
i
son: take original comp
a
ris
o
n into account
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
validation: add
a
test for
t
h
e
recent func
t
ion compare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
f
u
n
c
tion_hoo
k
s: fu
n
cti
o
n compari
s
o
n
s
can im
p
l
y a parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
D
an Carpenter
f
i
xup_kern
e
l
.
sh:
s
everal impor
t
ant updates
(
bugfixes)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Ca
r
penter
co
m
p
a
r
i
son:
r
ename falsify_op() to ne
g
ate_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Da
n
Carpe
n
ter
ranges: renam
e
filt
e
r_by_comparison()
to so
m
ething
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
cgcc: reve
r
t
part
o
f the -Werror check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
comparison: renam
e
flip_op() to flip_comparison() a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
D
an Ca
r
penter
M
e
rg
e
git:
/
/
git
.
ker
n
e
l
.
org/pub/scm/d
e
vel/spar
s
e
/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
D
a
n Carpenter
smd
b
.
py: add so
m
e
h
e
lp text
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan
Carpent
e
r
build_kern
e
l_data
.
s
h: erro
r
o
u
t
i
f the right packages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
compari
s
on: don't store comparisons to
o
n
e
's self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
C
a
r
pente
r
comp
a
riso
n
:
add a
c
omme
n
t for update_tf_links()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Da
n
Carp
e
nter
compa
r
ison
:
get ri
d
of th
e
chunk_vsl_eq
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Da
n
Carpenter
com
p
ari
s
o
n
: pass the
f
i
ltered false sta
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan C
a
rpenter
c
omparison:
c
l
e
a
nup
up
d
a
t
e_tf_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carpent
e
r
db: f
i
x
h
andling of nested c
a
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
stat
e
s: add an ass
e
r
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
buf_size: handle strlen() a
b
it be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
l
o
cking: add ffs_mutex_lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpen
t
e
r
f
l
ow: th
e
__in_pre_
c
on
d
ition variable needs
t
o
be set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
en
t
er
sm
a
tch
.
h:
store some
d
ummy
d
at
a
b
as
e
types
tempor
a
ri
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
db: expose the da
t
a param
e
ter
so we c
a
n
u
se da
t
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
Carpenter
par
s
e_
c
all_m
a
th
:
change API to use range lis
t
s (mostly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
ra
n
ge
s
: fix pars
i
ng tha
t
I bro
k
e th
i
s af
t
erno
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
c
o
mpariso
n
:
f
ix up filter_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
Carpent
e
r
ra
n
ges:
us
e
the
r
a
nges store
d
in the
d
atabase properly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges: fix c
r
as
h
ing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpen
t
e
r
ranges: simplify and
robustify str
_
to_rl_he
l
p
e
r
(
) a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
p
a
ram_limit
:
sav
e
the
c
omparison
to the argum
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
function_hooks: f
i
x
how
database compari
s
o
ns are done
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
c
o
mpar
i
son:
p
ass t
h
e i
g
nore fie
l
d to rang
e
_comparison_to_
p
ar
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpen
t
er
compari
s
o
n
:
take previous comp
a
risons into a
c
c
o
u
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
D
a
n Ca
r
penter
d
b
:
prefer literals to p
a
ram
e
ter
math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpenter
db: re-add
s
o
me missi
n
g [] ch
a
racters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n Carpente
r
assig
n
ed_exp
r
: undefi
n
e on modification
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan C
a
r
pe
n
t
er
db: fix how param
e
ter math works
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan
Ca
r
pent
e
r
assigned_exp
r
: add
reverse link
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carp
e
nter
lin
k
s
: cre
a
t
e a smatch_li
n
ks
.
c file
w
ith
func
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
pars
e
_
c
a
ll_
m
a
th: fix le
f
t o
v
ers from the for
m
at change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Ca
r
p
e
nte
r
param_set:
w
rit
e
struct m
e
m
be
r
s in terms o
f
parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
Carpenter
e
x
tra: write
c
ertain ret
u
r
n
ed s
t
ruct members in terms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
db:
pa
s
s the r
e
turn
exp
r
ession to the
r
e
turned_membe
r
_c
a
llback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
extra: save return values
i
n terms of pa
r
amete
r
ma
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n
C
arpenter
db: un
i
fy how para
m
eter des
c
riptio
n
s are saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
an Carp
e
nte
r
comparison: add an
i
gn
o
re
p
a
rameter to
expr_eq
u
al_
t
o_param()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpent
e
r
unreachab
l
e: igno
r
e
t
h
e unr
e
achable()
m
acro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
err_ptr_d
e
ref: passing a
n
ERR_PTR to k
f
ree() is a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Ca
r
pente
r
extr
a
: handle mer
g
ing N
U
LL
pointers bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan Carpenter
extr
a
:
address
e
s of a
r
r
a
ys are
n
on-NUL
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n Carpenter
db: remove bogus parameter information from hook type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
D
an Carpen
t
er
db: add a ne
w
table whi
c
h
hold par
a
meter types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
Dan Car
p
enter
type: intro
d
uce typ
e
_t
o
_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpen
t
er
lock
i
ng: remove some duplicate "sometim
e
s loc
k
ed" warn
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
D
a
n
Carpenter
g
e
nerisi
z
e
.
pl: filter some m
o
r
e
stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan C
a
rpe
n
ter
generesize
.
pl: clean
u
p indentation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Da
n
C
a
rpen
t
er
ranges: a poi
n
t
e
r
to an arra
y
i
s just a
pointe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
ente
r
extra: record glo
b
a
l declaration
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpente
r
co
n
d
i
tions: update some debug output
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
penter
co
m
paris
o
n
:
i
ntroduce
p
o
s
sible_compari
s
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpen
t
er
e
xtra: update
a debug
s
t
a
teme
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpenter
fun
c
t
i
on_ptr
s
:
track functions which
r
e
turn
a funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpenter
show_errs
.
sh: quote
s
ome
s
t
r
ings properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
slist: put
get
_
sm_s
t
ate
_
st
r
e
e_stack() in the
.
h file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpenter
states: chan
g
e
t
h
e
d
e
bug out
p
u
t
forma
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpe
n
t
e
r
struct
_
assignment: handl
e
kzalloc() better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
penter
slist: ad
d
the filename to
s
ome debu
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
fl
o
w: parse global
variables before parsing func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
Carpen
t
er
slist: export the se
t
_state_
s
t
ree_perm() functio
n
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Car
p
enter
comparison: a varia
b
l
e
is always eq
u
al to itself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
D
a
n C
a
rpe
n
t
e
r
remove null test
s
for a
r
r
a
y
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
Ma
k
efile: allow CC to be defined outside the makefile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpen
t
e
r
silence
n
on-ANSI warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-05
Dan
C
a
r
penter
helper:
prevent segfau
l
t in expr_to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-25
Da
n
Carpenter
extra: impr
o
ve handling
of
"
if (x * 4 > 12) {
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-18
Dan Carpenter
m
i
ssing_break
:
m
a
ke a functi
o
n static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-14
Dan Carpenter
db: fix runtime bre
a
k
ag
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carp
e
n
t
er
de
r
eferences_para
m
: add more dere
f
erenced variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpenter
ra
n
ges:
remove unneeded NULL che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpenter
type_val: store fake assignments in a
s
li
g
htl
y
di
f
f
e
r
ent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carp
e
nte
r
param_se
t
/filter: don't p
r
int
l
e
ss useless information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
D
a
n Carpenter
db: f
i
xup
a
fter call_implie
s
change
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next