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
shift_to_zero: fix an error message
2014-10-28
Dan
C
arpent
e
r
shift
_
t
o_zero: fix an error m
e
ssage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpent
e
r
free: check for p
a
ssing or ret
u
rning fr
e
ed memor
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
free: don't
turn off warnin
g
s if --spammy is set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Da
n
Carpenter
db/fix
u
p
_
k
e
rnel
.
sh: bi
t
map_
a
llo
c
ate_regio
n
doesn't
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
D
a
n
Carpe
n
ter
buf_comparison: store
w
hic
h
data hol
d
s arra
y
limits
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf_compar
i
son, buf_size
:
add realloc() t
o
allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan
C
a
rpenter
compare:
i
ntroduce get_all_compari
s
ons()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan Ca
r
penter
db:
add
data_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-21
Dan
Carpenter
auto_copy: assignment
s
c
opies states aut
o
m
a
tically
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-20
Dan Carpen
t
er
buf_
c
omparis
o
n: look for
off by one errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-17
Da
n
Carpenter
Merge branc
h
'd
e
v
e
l'
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpe
n
ter
err_ptr_dere
f
: err
o
r message
s
hould say "negative"
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Ca
r
pente
r
free: impr
o
ve cross func
t
i
o
n
t
rackin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan C
a
rpenter
shi
f
t_to_zero: check for things like "(f
o
o &
0
xff
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carpenter
parse_cal
l
_math: hand
l
e
math
l
ike
"$0->foo + 5"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Ca
r
pente
r
parse_cal
l
_ma
t
h: mor
e
form
a
t
change fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Ca
r
penter
parse_c
a
l
l_math: NULL terminate buf size recipes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpe
n
ter
ca
l
l_math: use ran
g
e lists inste
a
d
o
f on
l
y e
x
ac
t
values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Da
n
Carpenter
ranges: start implementing rl_
b
inop(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n Carpenter
c
o
mp
a
rison
:
s
t
ore general limits
in the databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan
Carpente
r
comparison: take origin
a
l comp
a
ri
s
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 the recent function compa
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpen
t
er
function_h
o
oks: funct
i
on
com
p
arisons can im
p
ly a para
m
ete
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpent
e
r
fixup_ker
n
el
.
s
h
:
sever
a
l i
m
portan
t
up
d
ates (bugfixes)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
arpe
n
t
e
r
c
o
mparison:
r
ename
f
alsi
f
y_op() to
n
e
g
ate_comparison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan C
a
r
p
e
nter
ranges: rename fi
l
t
e
r_b
y
_comparison() to somethin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan C
a
rpe
n
ter
cgcc: revert
part
o
f th
e
-Werror check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
D
an Carp
e
nter
compari
s
on:
r
enam
e
flip
_
op
(
) to flip_c
o
mparison() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-03
Dan Carpenter
Merge
git
:
//git
.
kerne
l
.
or
g
/pub/scm/dev
e
l/sparse/chrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
D
a
n Carpenter
smdb
.
py: add some h
e
lp te
x
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
b
u
ild_kernel_
d
ata
.
sh: erro
r
o
u
t
i
f the r
i
gh
t
p
ackage
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n Carpenter
com
p
a
r
ison: don't
st
o
re comparison
s
to one's se
l
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan
C
a
rpenter
compar
i
s
o
n
:
add
a
comment for update_
t
f_li
n
ks()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison
:
get
rid 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
comparison: pass the filter
e
d false state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
compari
s
on: cleanup upda
t
e_tf
_
data(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carpenter
db
:
f
ix hand
l
ing of nest
e
d calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
states: add
an assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
ente
r
buf_size: handle strlen(
)
a bit
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
locking:
add
f
fs_
m
u
t
e
x
_lo
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
f
l
o
w: th
e
__in_
p
r
e
_
c
o
n
d
ition varia
b
le ne
e
ds to b
e
s
et
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpente
r
smatch
.
h: store some
dummy
d
a
tabas
e
t
yp
e
s
tempo
r
arily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
d
b
: expo
s
e
t
he data parameter
s
o we can use da
t
a in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
p
arse_ca
l
l_ma
t
h: cha
n
ge A
P
I to use range
lists (mostly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
Carpent
e
r
ranges: f
i
x parsing that I b
r
oke this
af
t
e
r
noon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
ent
e
r
c
ompa
r
ison:
fix up fi
l
ter_
c
ompar
i
son()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpenter
ranges
:
use
t
he ranges stored
in the
d
atabas
e
p
r
operly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
ranges: fix c
r
ashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
r
anges:
simp
l
ify and robus
t
i
f
y
str_to_rl_help
e
r() a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
param_limit: save the comparison to the argume
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
function_hooks: fi
x
ho
w
database comparisons are done
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comparison: pass
t
he i
g
nore fie
l
d
to ran
g
e_com
p
ariso
n
_to_
p
ar
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comparison: ta
k
e previous comparison
s
into account
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Ca
r
penter
db: prefer literal
s
to parameter mat
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan C
a
rpente
r
d
b
:
r
e-add some missi
n
g []
c
haracter
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Da
n
C
a
rpente
r
a
ssigned_expr: undefine on modifica
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan
C
ar
p
e
nter
db: fix
how parameter math works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan
Carpenter
assigned_expr:
add
r
e
verse links
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
an Carp
e
nter
links: cre
a
te a smatch_links
.
c
f
ile with func
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
an Carpenter
pa
r
se_
c
all_
m
ath: fix left overs from the format
change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
param_set: write
struct
mem
b
ers in
terms of paramete
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
e
x
tra: write certain re
t
u
r
n
e
d
struct memb
e
rs in ter
m
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpe
n
ter
db: pass the
retur
n
ex
p
ress
i
on to the retu
r
ned_me
m
ber_callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
extr
a
:
s
ave return values in terms of pa
r
ameter
m
ath
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpente
r
db:
un
i
fy h
o
w
parame
t
er de
s
crip
t
ions are saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpent
e
r
c
o
m
pa
r
iso
n
: a
d
d
an ignore p
a
ram
e
t
e
r to expr_equal_to_param()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
D
a
n Carpenter
unre
a
c
h
able:
i
gnore
the u
n
reachable()
m
a
cr
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
e
rr_ptr_
d
eref: passing an ERR_PTR to kfre
e
() is a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpent
e
r
extra: handle merging NULL pointe
r
s be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
Dan Carpenter
extra:
ad
d
resses
o
f
arrays
a
re non-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n Carpent
e
r
db: remove bogus paramete
r
information fro
m
hook type
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan
Ca
r
p
enter
db: add a new table which hold pa
r
ameter types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
Dan Carpen
t
er
t
y
pe: i
n
troduce type_t
o
_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpenter
l
o
c
k
i
ng: r
e
m
ove some dupl
i
cate "so
m
et
i
mes locked" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpente
r
generisize
.
pl: filt
e
r so
m
e more stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan C
a
rpenter
g
e
neresize
.
pl: cleanup i
n
dentation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Car
p
enter
ranges: a pointer to an ar
r
ay is just
a
po
i
nter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
extra: reco
r
d glo
b
al
d
ecla
r
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpe
n
ter
conditions: update some de
b
ug output
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
Ca
r
penter
compa
r
iso
n
:
i
ntroduce possible_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
ex
t
ra:
u
pdate
a
debug
statement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
function_p
t
rs
:
tr
a
ck fun
c
tion
s
which return a funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
show_
e
rrs
.
sh: quote some
strings properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
slis
t
: put
g
et_sm_
s
tate_str
e
e
_stack() in the
.
h file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carp
e
nt
e
r
st
a
t
es:
c
h
ange
th
e
debu
g
output format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpenter
s
t
ruct_assignment:
h
a
n
d
l
e
k
zalloc() better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
ter
slist
:
add the
f
ilename
t
o som
e
debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
flow: parse gl
o
bal va
r
iab
l
es before pars
i
ng functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpenter
slist: export the set_state_str
e
e_perm() function to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
comparison: a variabl
e
is al
w
ays eq
u
al t
o
i
t
self
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan C
a
rpente
r
remove nul
l
tests
fo
r
arrays
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
Mak
e
file: a
l
low 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
o
n
-ANSI warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-05
Dan Car
p
enter
helper: prevent
s
egfault in expr_
t
o_var
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-25
D
a
n Carpente
r
e
x
tra: imp
r
ove handling of "i
f
(x * 4 > 12) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-18
Dan
C
arpen
t
er
missing_
b
reak: make a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-14
D
an Carpenter
db: fix
r
untime
breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carpenter
dereferences_param:
a
d
d
mor
e
dereferenc
e
d variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
D
a
n Ca
r
penter
ranges: remove un
n
eeded NULL ch
e
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
D
an Carpenter
type
_
val:
s
t
ore
fak
e
a
ssignmen
t
s in a
s
lightly diffe
r
ent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next