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
extra: frob(foo) resets the value of *foo
2012-04-19
Dan
C
arpenter
extra:
frob(foo)
r
esets
the value of *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpente
r
extra: foo((vo
i
d *)&x) writes to x prob
a
bly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
D
an Carpente
r
ranges: i
n
troduce invert
_
r
a
nge
_
list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan
C
ar
p
e
n
t
e
r
math: ha
n
dl
e
__smatch_i
m
p
l
ied(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n C
a
rpenter
rang
e
s
:
comm
i
t
range_l
i
s
t
s_
e
quiv()
s
o that boo
l
_implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
sm
d
b_param_buf
_
siz
e
.
s
h: ask db what size buffers are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
a
rpenter
extra:
g
et_implied_range_list()
should hand
l
e conditions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Carpenter
buf_size: store buffer siz
e
s i
n
db (tur
n
ed off by de
f
aul
t
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpe
n
ter
db: d
o
n
't die on SQL errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an Ca
r
penter
bool_implic
a
tion
s
: make a list
o
f impli
c
ations for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Da
n
Carpe
n
ter
m
ath: h
a
n
dl
e
log
i
cal expressio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n
Car
p
enter
core: prin
t
sm_msg(
)
s before p
a
rsing starts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
ar
p
enter
paramete
r
_implications: generate
list
of func
t
i
on
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
d
b
: match_return() sho
u
ldn'
t
re-impleme
n
t
get_i
m
plied
_
range_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
penter
ma
t
h: s
o
rt
of handle
conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math:
s
implify implied
_
c
ondition_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
m
at
h
: simpli
f
y kn
o
wn_condit
i
on_tr
u
e/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
arpent
e
r
math
:
handle __smat
c
h_implied(
(
{frob(); 2;}))
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpent
e
r
m
ath: handle f
o
o = !2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
a
rpenter
ext
r
a
, math: move
k
nown_con
d
iton_tr
u
e/fa
l
s
e() etc fr
o
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan
C
arpenter
projec
t
: fix paramete
r
implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
helper: in
t
rod
u
ce get
_
member_name
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Da
n
C
arpenter
db: p
r
int all re
t
urn
v
alues at en
d
of f
u
ncti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Da
n
C
a
r
penter
db: add some smdb_ scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
r
penter
fill_db_
r
eturn_info: fix out dated parsi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpenter
extra:
always initialize the range in g
e
t_implied_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
enter
extra: fix get_im
p
lied_range() for function ca
l
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n C
a
rpen
t
er
check_macros: cleanup:
u
se positions_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
pent
e
r
mac
r
o: t
a
ke
a
struct posit
i
on, not a p
o
int
e
r to a st
r
uct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
pent
e
r
implied: clean
u
p: m
o
ve du
b
ug printfs to thei
r
o
wn
f
unct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
enter
ranges:
get rid of possibly_
(
true
/
false)_ran
g
e_lis
t
_ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpenter
ranges:
cleanup: move tru
e
_comparison_ran
g
e_lr()
i
nto
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
Carpenter
ex
t
ra:
add parame
t
e
r
implication
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan C
a
rp
e
nter
ranges
:
introduce clone
_
p
erman
e
nt(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ranges
:
initial
i
ze the point
e
r in get_value_rang
e
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carpenter
db: ig
n
ore functio
n
s which are ca
l
led a lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Ca
r
pente
r
type: export get_r
e
a
l_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan C
a
rpenter
db:
a
dd
c
od
e
to hack up the data
b
a
s
e
w
ith project speci
f
i
c
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
cond
i
tions:
p
res
e
rve |= a
s
th
e
assign op
i
n f
o
o |=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Car
p
enter
type
:
sizeof() i
s
unsigned long
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
D
an Carpenter
c
o
n
ditions: sparse never seems
to u
s
e SPEC
I
AL_
U
NSI
G
NED_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpenter
helper: in
t
ro
d
uce positions_eq(
p
os1, pos2) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
D
a
n Carpenter
build_ker
n
e
l
_data
.
s
h: make
i
t executable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpent
e
r
m
a
cro_side_e
f
fects: s
i
lence false
positive
s
i
n
si
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
t
est_kern
e
l
.
sh:
crea
t
e a bak
.
sm
a
tch at
t
h
e beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpente
r
*new* check_
m
acro_s
i
de_effects: macros whic
h
evaluate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan
C
arpente
r
flow: ignore __bui
l
tin_constant_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan
C
arpe
n
ter
s
parse: set the
scope->token member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Ca
r
penter
call_tree
.
pl: Thi
s
was
s
till usi
n
g
t
h
e old format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Da
n
Carpenter
build
_
kernel_dat
a
.
sh
:
add --call
-
tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
locking: ignore unre
a
chable unlocks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
locking
:
whit
e
spa
c
e changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carp
e
nt
e
r
new_bu
g
s
.
sh: fix it for gcc and sparse war
n
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Da
n
Carpenter
l
ocking: tons
o
f locks were ign
o
red because
o
f changes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
Dan Carpente
r
t
o
ken_st
o
r
e
: creates a p
o
si
t
ion ->
t
oken
m
apping
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpe
n
ter
Me
r
ge
bra
n
c
h 'de
v
e
l2'
commit
|
commitdiff
|
tree
2012-03-08
D
a
n
Carpenter
*new*
check
_
b
i
t_shift
.
c: (foo &
BAR) vs (foo &
(
1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
Dan
Carpente
r
*new* pointer
_
math:
com
p
lain about ptr + sizeof() where
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
Dan
Car
p
ent
e
r
typ
e
: export get_
p
oint
e
r_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
Da
n
Carpenter
type
:
e
x
port get_pointer_
t
ype()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n Carpenter
flo
w
: fix segfault on parse error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n Carpenter
h
o
oks:
a
dd CAST_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpen
t
er
type: ad
d
nr_bits(struct expression *e
x
pr)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan
Carp
e
nter
extra: delet
e
t
he get_range_list
(
)
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Artem Bityutskiy
M
ake
f
ile:
d
o not install spars
e
and cgcc
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpenter
new:
smatch_script
s
/
b
u
i
l
d
_ker
n
el_data
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan Car
p
en
t
er
new: smatch_scri
p
ts/
t
est_kernel
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carp
e
nter
ranges: make po
s
sib
l
y_true/false() take
e
x
pression
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpenter
express
i
o
ns: new file smat
c
h_expressio
n
s
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Car
p
e
n
ter
tree wide: do
n
'
t
print offset i
n
to function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
generiz
e
.
pl: mak
e
i
t
work
f
o
r
sparse warnings as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
estate: don't re
u
se
extra_un
d
efined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan
C
arpenter
contraints
:
add option --debug-rel
a
ted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan
Carpe
n
ter
constraints
:
m
a
ke set_e
q
u
iv() take an expression pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Car
p
enter
e
x
tr
a
, constraints: mo
v
e set_
e
q
uiv
(
) from extr
a
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Ca
r
pe
n
ter
debu
g
: ad
d
__smatch_d
u
m
p_related(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
implied: use add_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpenter
e
state, range
s
: move
wh
o
le_r
a
nge from est
a
te to range
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Car
p
enter
extra
:
cleanup is_whole_
r
a
n
ge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Da
n
Carpe
n
t
e
r
ra
n
ges: mak
e
possibly_tru
e
_ra
n
ge_lis
t
_rl(
)
t
a
k
e an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
enter
ranges: rename get_singl
e
_value
_
from_dinfo() => estate_get_s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan
Carpe
n
ter
implie
d
:
u
s
e
ne
w
e
s
tate_relate
d
() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
an
C
a
rpenter
constraints: use new estate_relate
d
() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpen
t
er
constraints: make
g
et_common
_
relat
i
on
s
hip() ta
k
e an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carp
e
nter
estate: introduce estate_
m
in/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carp
e
nter
estat
e
: introduc
e
e
s
t
a
t
e
_related()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rpenter
estate
:
introduce estate_ranges() help
e
r
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carp
e
nter
d
i
nfo, estate: mv s
m
atch_dinfo
.
c sma
t
ch_estate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
tree-wide: s/extra_st
a
t
e
/estate/g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan
Carpente
r
e
xtra, di
n
fo: move get_
d
info() from
s
m
atch_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
e
x
tra, ran
g
es: make possib
l
y_true/fal
s
e(
)
take an expression
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-20
Dan
C
arpe
n
ter
*
n
e
w* kmal
l
o
c
_wrong_size: checks
t
he element
s
ize
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-20
Da
n
Carpen
t
er
de
b
ug
:
add __
s
match_implied()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-20
Dan Carpenter
extra: modify match
_
co
m
parison() so it
can
deal wi
t
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-20
Dan Carp
e
nter
dinfo:
introd
u
ce extra_e
m
pty()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-15
D
a
n Carpenter
r
anges: introduce a
l
loc_r
a
n
ge_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-15
Dan Car
p
enter
extra: remove a variable from
mat
c
h_compariso
n
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-15
D
an Carpente
r
extra:
cr
e
a
t
e set
_
extra_expr_
t
r
ue_false
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-15
Dan Carpe
n
t
e
r
extra
:
move some code
o
ut
o
f matc
h
_
com
p
arison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-14
Dan Carpenter
extra
:
handle
p
o
s
t increm
e
n
t
in
c
ompa
r
isons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next