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
flow: handle backwards goto hooks
2014-11-04
Dan Ca
r
pen
t
er
flow
:
handle
backwards
got
o
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
flow: funct
i
o
n de
c
l
arations are not
function
d
e
fini
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan C
a
rpen
t
e
r
return
_
enomem: re
-
write
w
ithout using return_imp
l
ies_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carpenter
buf_comparis
o
n: handle zer
o
s
ize arr
a
ys be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carpenter
buf_com
p
arison: export the get_size
_
vari
a
bl
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan Carpenter
buf_com
p
arison,
d
b: record top level variables
i
n data_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan C
a
r
penter
funct
i
on_hook
s
, db: fix a problem with neste
d
cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpenter
comparison
:
oops
.
forgot to commit a c
h
unk
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
D
a
n Carpenter
64bi
t
_shift: find bu
g
s like: u64 fo
o
= 1 << x;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
Dan
C
arpen
t
er
a
u
t
o_c
o
py: fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
Dan C
a
rpen
t
er
precedence:
b & ma
s
k >>
s
hift is no
r
mally a
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carp
e
n
t
e
r
shift_to_zero
:
fix an er
r
or m
e
ssage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan
Carpente
r
fre
e
:
check for
p
assing or retur
n
ing freed memory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpe
n
ter
free: don't turn off
warnings
i
f --spammy i
s
s
e
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Car
p
e
nte
r
db
/
fixup_kernel
.
sh: b
i
tm
a
p_allocate_reg
i
on doesn't
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Da
n
Ca
r
penter
b
uf_comparison: stor
e
which data holds array limits
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf_
c
omparison
,
buf_size:
a
dd r
e
alloc() to allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpent
e
r
compare: in
t
ro
d
uce g
e
t_
a
ll_comparisons()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan C
a
rpenter
db:
a
dd da
t
a
_
info ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-21
Dan Carpenter
auto_copy:
a
s
s
i
gnments copies st
a
tes auto
m
atically
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-20
Dan Carpenter
buf_
c
omparison:
look for off by one errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-17
Dan Carpente
r
Merge b
r
a
n
ch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
Dan
C
arpen
t
e
r
err
_
ptr_deref: error mes
s
age s
h
ould say "ne
g
at
i
ve"
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Car
p
enter
free:
i
m
p
rove cross f
u
nction
tra
c
king
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
shift_to_zero:
check
for things li
k
e "(foo & 0xf
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carpen
t
er
par
s
e_call_m
a
th: hand
l
e m
a
th like "$0->foo + 5"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
D
an Carpenter
pa
r
se_call_math: more format change fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
parse_call_ma
t
h: NULL term
i
nate buf size
recipes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
D
an Carpen
t
er
call_math: use range lists i
n
ste
a
d o
f
onl
y
exact v
a
lues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpe
n
t
e
r
ra
n
g
es: st
a
rt impleme
n
ting r
l
_bino
p
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Da
n
C
a
rpe
n
ter
c
om
p
a
r
ison: sto
r
e
g
e
neral limits in
t
he da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n C
a
r
pe
n
t
e
r
comparison: take o
r
igi
n
al compar
i
son
i
n
to account
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan
C
arpenter
validation: add
a test fo
r
t
he recen
t
function compa
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan
Car
p
enter
function_hooks: fun
c
tion comparis
o
ns can imply
a
p
a
ramet
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
fixup
_
kernel
.
sh: several importan
t
updates (bugfixes)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n
C
arpenter
comparison
:
rename
f
a
l
sify_op
(
) to negate_comparison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n
Carpenter
ranges: rename filte
r
_by_comparis
o
n(
)
t
o
some
t
h
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
D
an
Carpenter
cgcc: r
e
vert p
a
r
t
of the -Werror check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpente
r
comparison
:
r
e
name flip_op() to flip_compariso
n
()
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-03
Da
n
C
arp
e
nter
Merg
e
g
i
t://git
.
kernel
.
org/
p
ub/scm/devel/
s
p
arse/
c
h
ris
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpen
t
er
s
mdb
.
py: add
s
ome hel
p
text
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Ca
r
pente
r
bu
i
ld_ker
n
el_dat
a
.
sh: error out if the right packages
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan
C
arpe
n
ter
compari
s
on: don't s
t
ore c
o
mparisons
t
o one's
s
elf
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n Carpent
e
r
comparison: add a comment
f
or
update_tf_links(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n Car
p
enter
comparison: get
r
id of the chunk_vsl_eq() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
an Carpen
t
er
comp
a
rison: pass t
h
e
fil
t
ered false
s
tate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan
Carpenter
comparison:
cleanup update_
t
f_
d
ata(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
Dan Ca
r
p
e
n
t
er
db: fix h
a
n
d
ling of
n
e
sted calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
penter
stat
e
s
: add
an assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
bu
f
_s
i
ze: ha
n
dle strlen() a bit be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
locking: add ffs
_
mu
t
ex
_
l
o
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
flow
:
the _
_
in_pre_c
o
nditi
o
n
v
ariable needs to be
set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
s
m
atch
.
h: store som
e
dummy
database typ
e
s
temporarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
C
a
rpen
t
er
db: expos
e
t
he da
t
a
p
aramet
e
r
so
we c
a
n use
d
ata in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpent
e
r
pars
e
_ca
l
l_math: change AP
I
to use range lists
(
mostly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpenter
ranges: f
i
x parsing that
I
broke
this af
t
ernoon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
pen
t
er
comparison:
f
ix up
filter_comp
a
rison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
ranges: use the ranges store
d
in t
h
e database properly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
r
a
nges
:
fix crashing bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpent
e
r
ranges: simplify and robusti
f
y str
_
to_
r
l
_helper()
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
param_
l
imi
t
:
save th
e
compar
i
s
o
n to the argume
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
penter
f
u
nctio
n
_h
o
oks: fix how database
co
m
p
a
ris
o
ns are done
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
comp
a
rison: pass th
e
ignore fie
l
d
to range_compa
r
i
son_t
o
_
par
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an
C
a
rpente
r
comparison: take prev
i
ous comparisons into account
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan C
a
rpenter
db: prefer
literals t
o
parameter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Car
p
enter
db: re-add some m
i
ssing [] characters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
assigned_expr: undefine on mo
d
ificatio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpe
n
ter
db: fix h
o
w
p
a
ramet
e
r math works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n Carpenter
assigned
_
expr: add reve
r
se link
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpent
e
r
links: crea
t
e
a
s
m
atch_links
.
c file w
i
th f
u
nctions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
parse_call_math
:
fix left overs
f
rom the format change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpe
n
t
er
param_
s
et: write struct me
m
bers in terms of param
e
t
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Car
p
enter
extra: write cer
t
ain ret
u
rned
s
t
r
uct
members
in terms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carp
e
nter
db: pass the retur
n
ex
p
ressio
n
to the re
t
urned_me
m
ber_callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
extra: save
return values in
terms
of parame
t
er math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
an C
a
rpenter
db: un
i
fy how parameter de
s
cri
p
tions are saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpenter
comparison: add an
ig
n
or
e
p
a
r
ameter to
e
xpr_equal_to
_
param()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Car
p
en
t
er
unreach
a
ble: ig
n
ore
t
he unreachable()
macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Da
n
Car
p
ente
r
err_ptr_deref: pass
i
ng an ERR_PT
R
t
o
kfree
(
) is a
b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan
C
a
rpenter
extra: handle merging N
U
LL
pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
Dan
Carpen
t
er
extra: addres
s
es o
f
arrays are non
-
NU
L
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n Carpenter
db: remove bogus
parameter informati
o
n from hook
t
y
pe
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n Carpe
n
ter
db: ad
d
a
n
ew table which hold parameter ty
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
Dan Carpenter
typ
e
: introduce type_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
Dan
C
arpenter
l
ock
i
n
g
:
remove some duplicate "sometime
s
locked
"
war
n
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
g
e
neris
i
ze
.
pl: filter som
e
more
stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan C
a
rpente
r
generes
i
ze
.
pl
:
cleanup indenta
t
io
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
ranges:
a
pointer to
an array i
s
just
a poi
n
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpe
n
te
r
extra:
recor
d
g
l
o
bal de
c
larations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
ter
c
ondi
t
ion
s
: update some debug output
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpenter
com
p
aris
o
n: introduce poss
i
ble_comparis
o
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
e
x
tra: update a debug statement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpe
n
te
r
function_
p
trs: track fu
n
c
t
ions which return a functio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpenter
show_e
r
r
s
.
sh: quote some strings properl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpen
t
er
sl
i
st: put get_sm_state_stree_stack() in th
e
.
h f
i
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpenter
states: change the
debug outp
u
t format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
s
t
ruct_assig
n
me
n
t: hand
l
e kzalloc() better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arp
e
nter
slist: add th
e
f
ilename to some debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
flow: parse global variables befor
e
parsi
n
g functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
Car
p
enter
slist: e
x
port the set_state_stree
_
perm() f
u
nction to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next