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: revert part of the recurse patch which broke smatch_equiv
2013-06-10
Dan C
a
rpenter
extra:
revert part of the recurse patch which
broke
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan Car
p
e
n
ter
recurse
:
oops
.
add EXP
R
_
V
ALUE and fix a val
i
d
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Da
n
Carpenter
states: introduce __set_fa
k
e_cur_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan Ca
r
p
e
nter
u
s
er_data: pull is_user_data_state() into
its own func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan
C
ar
p
ent
e
r
recurse, extra: int
r
oduce has_variable() and f
i
x
forever
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpent
e
r
start_states
:
a
d
d it to ch
e
ck_list
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Da
n
Ca
r
penter
c
o
mpa
r
ison,
d
b: use com
p
arison inf
o
rmation stored
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
db: remove an unused vari
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
user_data: ad
d
a c
o
mment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
user_
d
at
a
: introduce i
s
_capped_u
s
er_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
ext
r
a
:
slist
:
white spa
c
e chang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan C
a
rpenter
m
ath: fail more often with
FUZZY
and HARD limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpe
n
ter
sval: make som
e
more fixes to sval_binop_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carp
e
nt
e
r
loca
l
_values
:
store correct
initial value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan
Carpenter
extra: handle
c
omparisons w
h
e
r
e the funct
i
on only returns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
D
an
C
a
r
penter
extra: move match_func_compar
i
son
(
) l
o
wer in
th
e
file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan C
a
rpenter
estate: preserve
t
he hard max
in e
s
tate_filter_ran
g
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
D
an Carpenter
m
a
th
:
for bitwise AND only use it
for IMP
L
IED a
n
d
A
BSOLUT
E
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpe
n
t
er
sval: cast preop
'
-' o
p
eratio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan
C
arpenter
sval:
cast bitwise nega
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
e
r
c
ap
p
ed: h
a
n
dle post
o
ps
b
et
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an
Carpenter
buf_size: h
a
nd
l
e bad
d
a
ta from t
h
e database better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
m
a
t
h: use correct variable
i
n handle_condit
i
o
n
al_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpe
n
ter
capped
:
use
g
e
t_ha
r
d
_max
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math:
m
ove some RL_HAR
D
a
n
d RL_
E
XACT t
e
sts around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
ter
m
a
th: s32min is no
t
a fuzzy min
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpenter
m
ath:
reversed co
n
dition in handl
e
_divide()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n C
a
rpenter
math:
remove
d
uplicate buggy code in
g
et
_
implied_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an C
a
rpenter
mat
h
: put an escape hatch in handle_conditi
o
nal_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Carpenter
math:
switch to usin
g
RL
_
e
n
u
ms
directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
r
penter
m
a
t
h: delete old unused
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
math: clea
n
up _get
_
rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
states: fix some le
a
ks
o
f
t
he fake_cur_
s
list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
pente
r
*new* sma
t
ch_start_state
s
.
c: r
e
cor
d
the s
t
ates at the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpe
n
te
r
db: fix crashing
b
ug
a
s a result
of
m
a
th cha
n
g
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
smatch
.
h: remove le
f
t over dead
c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carp
e
nter
c
h
e
ck_held_dev: small spelling fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
enter
d
b: don't query retu
r
n_values
t
able
a
ny more
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
e
r
math:
clean
u
p the rest of handle_binop_
r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpenter
mat
h
: fix new
h
and
l
e_conditi
o
n
al_rl() code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Ca
r
penter
m
a
th: introduc
e
h
a
nd
l
e_di
v
i
d
e_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpen
t
er
math: co
u
ple bu
g
s in ha
n
dle_su
b
trac
t
_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpente
r
sv
a
l: fix sval_bin
o
p_ov
e
rflows
(
) handling of su
b
t
r
action
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math: rem
o
ve so
m
e d
e
ad
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math: int
r
od
u
ce new
handl
e
_s
u
btract_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
ent
e
r
math: cre
a
te
n
e
w
handle_right_shift() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: make new
h
andle_known_bi
n
op() fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Ca
r
pe
n
ter
math: create n
e
w han
d
le_bitwise_AND() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carp
e
nter
math:
i
ntro
d
uce handle_m
o
d_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math: create
h
ackish temporary handle_bin
o
p_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math: create new handl
e
_minus_preop(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
math: create n
e
w handle_bitwise_n
e
gate() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
ma
t
h
: introduce handle_e
x
pression_state
m
ent_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
m
ath
:
use ha
n
d
le_variab
l
e
() in ha
n
dle_preop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpe
n
ter
ma
t
h
:
introduce handle_negat
e
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math: intro
d
uce hand
l
e_ampersand_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Ca
r
penter
mat
h
:
hack
up a temporary hand
l
e_preop_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ma
t
h
:
h
a
ndle
E
XPR_POSTOP with _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
mat
h
: int
r
od
u
ce ha
n
d
le_cond
i
tional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
introdu
c
e handl
e
_lo
g
i
cal_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introdu
c
e
h
andle_c
o
mparison_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math
:
c
reate
h
andle_call_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
ar
p
enter
math:
c
rea
t
e handle_variable
(
) instead of _g
e
t
_
i
mp
l
ied_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Ca
r
p
e
n
t
er
math: mov
e
get_const_value() f
o
r
w
a
rd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
m
ath: handle ca
s
t
i
ng i
n
_get_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
mat
h
:
f
ix up s
o
me
thinkos in the _get_rl() transit
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math: introduce te
m
porary RL_IMPL
I
ED enum
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an C
a
rpenter
ma
t
h:
d
u
plicate _get_va
l
ue() into _ge
t
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
a
rpenter
math: move absolute m
i
n/max co
d
e
from _get_v
a
lue()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th: introdu
c
e _get
_
rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ranges: i
n
trodu
c
e
rl_
t
o_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
s/NOTIMPLIED/EXACT/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Ca
r
pe
n
ter
math: improve a
b
so
l
ute max/min w
i
th r
e
gards to casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpenter
sval: f
i
x sval_t
o
o_hi
g
h()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpe
n
ter
db: introduce call_results_to_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
D
an Carpenter
db:
m
o
v
e
g
e
t_param_name() to central location
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpent
e
r
flow:
l
o
ok at stati
c
a
nd
n
ot-
s
t
a
t
i
c local inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpe
n
t
e
r
extra: add se
t
_e
x
tra_nodmo
d
()
to
s
mat
c
h
_ex
t
ra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan
Carpenter
deref: fix segfault parsing invalid c code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
D
a
n Carpenter
implied: preserve equivalence
across switc
h
state
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
D
a
n Carpenter
math: handle siz
e
of for zero size bitfields
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Da
n
C
a
rpenter
extra: hand
l
e previo
u
sly assigned
s
imple math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: handle "if (a
- 3 >
1
00) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
arpenter
extra: split match_comparison()
i
nto two func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
c
a
pped: known
values are always ca
p
ped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Da
n
Car
p
e
n
t
er
Revert "spar
s
e: in
t
roduce get_expression_valu
e
_
n
om
o
d()"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
show_
u
nreachable
.
sh: add some more i
g
nored kernel functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan
Carpenter
flow:
don
'
t print dupli
c
a
t
e "unr
e
ac
h
able cod
e
" warnin
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Ca
r
penter
d
b: replace dat
a
b
a
se info scripts w
i
th smdb
.
p
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan C
a
rpenter
show_un
r
eac
h
able
.
s
h
: c
h
ange the line
number format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Car
p
enter
s
h
ow_unreachab
l
e
.
sh:
replace tabs with spaces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
D
an Carpenter
db:
k
ern
e
l
: f
a
ke up
-
>read/wr
i
te()
l
i
m
its
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Car
p
en
t
er
db: store "too comm
o
n" functio
n
s in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
param_cleared: cle
a
r
_
b
uffer: add them t
o
the check_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Car
p
enter
extr
a
: don
'
t use the indirect_mod
i
fication
_
hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
nter
extra: make pa
r
am_filter s
e
t_
e
xtra_
m
od()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Carpenter
ro
s
e
nberg: remove pahole de
p
endency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an Ca
r
pe
n
ter
par
s
e: add a big hack
t
o track
p
a
cked structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
t
e
r
*new* sm
a
tc
h
_
c
l
e
a
r_b
u
f
f
er
.
c: hand
l
e
memse
t
() type
fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpenter
param
_
lim
i
t/filter
:
ignore who
l
e
r
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next