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
db: print all return values at end of function
2012-04-13
Dan Carpent
e
r
db:
print al
l
return values
a
t en
d
of function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
D
an Carpent
e
r
db: add
some
smdb_ s
c
ripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
penter
fill_db_
r
e
turn_info: fix out dated parsi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
rpenter
ext
r
a: al
w
ays initialize th
e
range in get_i
m
p
l
ied_r
a
nge_li
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
enter
extr
a
: fix get_implied_range() for f
u
n
ction calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
c
h
ec
k
_ma
c
ros: cleanup: us
e
posit
i
ons_
e
q
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpenter
macro: take
a
struct position,
n
ot a p
o
inter to a st
r
uct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
impli
e
d: cle
a
nup: move
d
ubug pri
n
tfs to their own fu
n
cti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpe
n
t
er
r
a
n
g
es: get
r
id
o
f poss
i
bly
_
(true/fal
s
e)_range
_
list_
l
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ranges: cleanup: move true_c
o
mpa
r
ison_ra
n
ge_lr(
)
i
n
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
extra: add parameter implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Car
p
enter
r
anges: int
r
o
d
uce clo
n
e_p
e
rmanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carp
e
nter
ranges: initialize the
pointer in
g
e
t_v
a
lue_ranges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan C
a
r
pent
e
r
db: ignore functions
w
h
ich are called a lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
type: expo
r
t get_real_
b
a
s
e_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
arpe
n
t
er
d
b: add
code to hack up the data
b
ase with p
r
oject specific
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan C
a
rpenter
conditions: p
r
e
serve
|= a
s
the
a
ssign op in foo |
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
t
y
pe: sizeof() is unsigned long
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan
C
arpen
t
er
conditio
n
s: spars
e
never seems to u
s
e SPECIAL_UNSIG
N
E
D
_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Dan Ca
r
penter
helper: intr
o
duce positi
o
ns_eq(pos1, pos2)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
D
a
n Carpenter
build
_
kernel_da
t
a
.
sh
:
ma
k
e it e
x
ecutable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpenter
macro_s
i
d
e
_
effects: silenc
e
false positives inside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
D
an Ca
r
penter
test_kernel
.
sh: create a bak
.
sma
t
ch at the beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
*new* c
h
eck_macro_side_eff
e
cts: macros which evaluate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carp
e
nt
e
r
flow: ignore __built
i
n_con
s
t
ant_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
D
a
n
Carpenter
s
p
a
r
se: set th
e
scope->token membe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpent
e
r
call_tree
.
pl:
This was
still using the old
f
ormat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
build_kernel_d
a
ta
.
sh: ad
d
--call-tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpent
e
r
locking: ignor
e
un
r
eachable unl
o
c
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan
Carpent
e
r
loc
k
ing:
w
h
ite space
changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Car
p
en
t
e
r
new_bugs
.
s
h: fix
i
t for g
c
c and
spar
s
e warn
i
n
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Ca
r
penter
l
o
cki
n
g:
t
ons
o
f locks were ig
n
ored because of changes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
Da
n
Car
p
enter
t
oken_store: c
r
eat
e
s
a position
-
> token
map
p
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
Dan
Ca
r
penter
Merge
b
r
a
n
c
h
'd
e
vel2'
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpe
n
ter
*new*
c
heck_bit_shi
f
t
.
c: (foo & BA
R
) vs (f
o
o & (1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
Dan C
a
rpenter
*
n
ew* point
e
r
_
m
ath: c
o
mplain about ptr + sizeof() w
h
ere
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
Dan
Carpenter
type: export
get_poi
n
ter_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
Da
n
Carpent
e
r
type: export get_poi
n
ter_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
flow: fix segfault on pars
e
error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
h
ooks: add
C
A
ST_HO
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan
Carpenter
type: a
d
d
nr_bit
s
(struct exp
r
ess
i
on *expr)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
ext
r
a: delete the get
_
ra
n
ge_list() func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
A
r
te
m
Bityutskiy
Make
f
ile:
do not instal
l
sparse and c
g
cc
commit
|
commitdiff
|
tree
2012-02-28
Dan
Carpe
n
t
e
r
new: sm
a
tch_scripts/bu
i
l
d
_
kernel_data
.
s
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan
Ca
r
penter
n
e
w
:
smatch
_
sc
r
ip
t
s/test_kernel
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpenter
ranges: make possibly_tru
e
/false() take expression
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpen
t
er
expr
e
ssions: new file smatch_e
x
p
r
essions
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
t
r
ee wide:
do
n
't print offset
i
n
to fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
g
eneri
z
e
.
pl
:
mak
e
it work
f
or spar
s
e warnings as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
e
s
t
at
e
:
d
o
n't
r
e
use
e
xtra_undef
i
ned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
D
a
n Carpe
n
te
r
contra
i
n
t
s: a
d
d
opti
o
n
-
-
d
ebug-
r
elated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
an
Ca
r
penter
c
o
nstraints: make set_equiv() take
an expressio
n
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpen
t
er
e
xtr
a
, c
o
ns
t
raint
s
: move s
e
t
_
equ
i
v()
from e
x
tra to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Ca
r
p
enter
d
eb
u
g: add __
s
match_dump_related()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
arpenter
implie
d
: use
a
dd_r
a
nge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
e
n
ter
e
state, ranges: move whole_rang
e
from estate
t
o ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
en
t
er
extra: cleanup is
_
whole_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpenter
r
a
ng
e
s: make po
s
sibly_true_ra
n
ge
_
lis
t
_rl
(
)
take an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
r
p
e
nter
ranges: renam
e
get_s
i
n
g
l
e_
v
alue_from_dinfo
(
) => esta
t
e_get_s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
ar
p
enter
impl
i
e
d
: us
e
new estate
_
re
l
ated(
)
f
u
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
constraint
s
: us
e
new estate_related() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
an Ca
r
penter
constra
i
nts: mak
e
get_common_relationshi
p
() take an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpenter
estate: introd
u
ce estate_min/max(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n C
a
rpenter
es
t
a
t
e: introdu
c
e estate_related()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
r
pe
n
t
e
r
es
t
ate: introduce
e
s
t
ate_range
s
() help
e
r function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
di
n
fo, estate
:
mv
s
matc
h
_dinfo
.
c s
m
atch_es
t
ate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpen
t
er
tree-wide: s/extra_s
t
ate
/
estate/g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpente
r
extra, d
i
n
fo: move get
_
d
i
nfo() fro
m
smatc
h
_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Carp
e
n
t
e
r
extra,
ranges:
m
ake po
s
sibly_true/false() take an e
x
p
ress
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-20
Dan Carpenter
*
new* kmalloc_wrong_size: che
c
ks
t
he e
l
ement s
i
ze
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-20
Dan
C
arpente
r
debug: add
__smatch_
i
mplied()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-20
Dan Carpenter
ex
t
ra: modify matc
h
_comp
a
rison
(
) so
it can deal with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-20
Dan Carpenter
din
f
o: introduce extra
_
em
p
ty()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-15
Dan Carpenter
ranges: intr
o
d
u
ce alloc_ran
g
e_l
i
s
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-15
Da
n
C
a
rpenter
ext
r
a:
rem
o
ve a v
a
riable from match_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-15
Dan Carpenter
extra: create set_extra_expr_tru
e
_fals
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-15
Da
n
Carpe
n
te
r
extra: move some code out of ma
t
ch_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-14
Dan Carpenter
ex
t
ra: handle po
s
t inc
r
ement in c
o
mparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-14
Dan Ca
r
p
e
nter
extra: rewrite how +
+
and -- a
r
e handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-14
D
an Carpenter
ra
n
ges: introduce rl_m
i
n()
a
nd
rl_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-14
D
an Carpenter
ranges:
remove some duplica
t
e code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-14
Dan
C
arpenter
g
et_variable_from_e
x
pr(): &foo
is compl
i
cated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-09
Dan Carpenter
db: u
s
e the
r
etur
n
in
f
ormation in a
couple o
t
her pla
c
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-07
Dan
C
arpenter
ext
r
a,
d
b, range
s
: move new s
t
uf
f
out
of ranges
s
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-07
Dan Carpe
n
ter
d
b
: speedu
p
return i
n
fo stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-06
Dan
Carpenter
db: remov
e
de
b
u
gging message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-06
Dan
C
a
rpenter
db: handle -1 a
r
guments correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-06
Dan Carp
e
nt
e
r
extra: fix segfault
p
arsi
n
g
invalid co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-06
Dan
Carpenter
d
b: store the return valu
e
in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-06
Dan Carpenter
db: turn off database journallin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-03
Dan Carpenter
r
a
n
ges: add a
F
IXME comme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-03
Da
n
Carpen
t
er
type: remove a
f
ree_netdev() false positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-02
Dan Carpenter
fill_db_function_ptr: fixup formatting changes
f
allout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan
Carpenter
d
b
_info: we don't care about void returns
for now
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
D
an
C
arpenter
db
_
info: rem
o
ve duplicate implementation of show_rang
e
s(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpenter
show_unreachab
l
e: format ch
a
nges fixup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
D
a
n Carpenter
db: remove a
n
unneeded #inc
l
ude
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
D
an
Carpe
n
te
r
tree wide: change ou
t
put fo
r
mat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan C
a
rpenter
re
d
undant_nu
l
l_check: make s
o
me var
i
ables
s
t
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-26
D
an Carpenter
ext
r
a: un
i
nitia
l
i
z
ed variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next