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
capped: introduce is_capped_var_sym()
2013-06-12
D
a
n Car
p
enter
c
a
pped:
intro
d
uce
is
_
capped_var_sy
m
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
db
,
co
m
parison: store re
t
u
rn
r
ange comparisons
in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
D
a
n Carpe
n
ter
comparison: pull get_comparison_
s
trings() i
n
to its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan
C
arpenter
db,
c
omparison, ran
g
es: improve how
c
om
p
arisons
will
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpent
e
r
compari
s
on: handle -
-
/
++ mod
i
ficati
o
ns
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Ca
r
pen
t
er
m
o
dification_hooks: pass the modi
f
y expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan
C
a
r
pe
n
ter
extra: revert part o
f
the rec
u
rs
e
patch w
h
ich broke
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpen
t
er
recu
r
se: oops
.
add
E
XPR_VAL
U
E an
d
fix a validation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Ca
r
penter
states: intr
o
duce __set_fak
e
_cur_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Car
p
enter
user_data: pull is_user_
d
at
a
_state
(
)
into its own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Da
n
Carpente
r
recurse, extra: introduce has_varia
b
le() and fix f
o
reve
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
start
_
st
a
tes: add it to c
h
e
ck_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carp
e
n
ter
comparison, db:
u
se c
o
mpariso
n
information stor
e
d in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
d
b
:
remove an unused variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
use
r
_da
t
a: add a c
o
m
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
user_da
t
a: i
n
troduce is_capped_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n Car
p
enter
extra: slist:
w
hite space chan
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan
Carp
e
nt
e
r
ma
t
h: fail
mo
r
e oft
e
n with FUZZY and HA
R
D limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
sval: make some more fi
x
es to sval_b
i
nop_overfl
o
ws
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n Carpenter
local_values: store correct i
n
itial value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
extra
:
handl
e
comp
a
riso
n
s
wh
e
re the
fun
c
tion
only ret
u
rns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Ca
r
p
enter
extra: mov
e
match_func_com
p
ari
s
on() l
o
wer in the file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Car
p
e
n
ter
e
state: preserve the hard max in estate_f
i
lter
_
range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan
C
arpenter
math: for bi
t
wise AND o
n
ly use
i
t for IMPLIE
D
and
ABSOL
U
TE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
sval: cas
t
pr
e
o
p
'-' op
e
rations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan
Carpenter
sval: cast bitwise ne
g
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
C
arpen
t
er
capp
e
d: handl
e
postops better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
buf_size: han
d
le bad dat
a
fro
m
the da
t
aba
s
e
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
ma
t
h: use correct variable in handle_c
o
n
d
itional_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpen
t
er
ca
p
ped
:
u
s
e get_hard_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
math:
move some R
L
_HA
R
D and RL_EXACT tests around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpente
r
math: s3
2
min is
n
ot
a
f
u
zzy min
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
enter
math: reversed cond
i
tion i
n
handle_divide()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
m
ath: remove
d
uplicate bug
g
y code
in get_implie
d
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpenter
math: put an
escap
e
hatch in
h
and
l
e_conditiona
l
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: switch
to
u
si
n
g
R
L_ enums dir
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
math: de
l
et
e
old unused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
math:
cleanu
p
_get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
states: fix some l
e
aks of the fake_cur_slist
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carp
e
nter
*new* smatch
_
start_states
.
c: record the states at the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Carpen
t
er
db: fix
c
rashing
b
u
g
as
a resu
l
t of mat
h
c
hanges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
n
t
e
r
smat
c
h
.
h: re
m
ove left over d
e
ad code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
check_held_dev: sm
a
l
l
s
p
elling fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
db:
d
o
n't query return_values ta
b
le any more
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
C
arpenter
mat
h
: clean
u
p th
e
rest of h
a
nd
l
e_bi
n
op_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Ca
r
penter
ma
t
h: fix new handle_conditional_rl(
)
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
m
a
th
:
in
t
roduce handle_d
i
vide_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
ter
mat
h
:
c
ouple b
u
g
s
in
handle_s
u
b
t
r
act_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
sval: fix sv
a
l_b
i
nop_ove
r
flows() handling of subtr
a
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: remove
some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpen
t
er
math: intr
o
duce new handle_subtract_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpente
r
math: c
r
e
a
te new handl
e
_r
i
g
h
t_sh
i
f
t() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: make new handle_kno
w
n_bin
o
p() f
u
n
ct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
mat
h
:
create new han
d
le_bitw
i
se_A
N
D() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
p
enter
m
ath: intro
d
uc
e
h
andle_mod_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
ar
p
e
n
ter
math: create hac
k
ish tempo
r
ary h
a
ndle_binop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
r
pente
r
math: create ne
w
handl
e
_m
i
nus_preop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
C
a
r
p
e
n
t
e
r
math:
create new handl
e
_bitwise_negate() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math:
i
ntroduce h
a
ndle_ex
p
ressi
o
n_statem
e
nt_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpente
r
mat
h
: us
e
handle_variable() in handle_pre
o
p_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th:
i
nt
r
oduce handle_
n
egat
e
_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: int
r
oduce ha
n
dle_amp
e
r
s
a
nd_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: hack up
a temporary handle_pre
o
p_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: h
a
ndle EXPR_
P
O
STOP with _
g
et_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpente
r
math: introduce handle
_
conditional_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpe
n
ter
ma
t
h: introduce handle_logical_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
n
ter
ma
t
h
:
introd
u
ce
ha
n
dle_comparison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
c
reate han
d
le_c
a
ll_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
mat
h
:
create hand
l
e_v
a
riable() instead o
f
_get_
i
m
p
l
ied_
v
alue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math:
m
ove get_
c
onst_value() forwa
r
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
mat
h
: ha
n
dle casti
n
g in _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: fix
u
p some thinkos in
t
h
e
_get_rl() transi
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpente
r
math: int
r
oduce tempora
r
y RL
_
IMPLIED
enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Ca
r
penter
math: duplicate _ge
t
_
value() into
_
get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
pent
e
r
ma
t
h: mov
e
absolute
m
in/max code from _get_value()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
math: in
t
roduce _ge
t
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
a
r
penter
ranges: introduce rl
_
t
o
_s
v
al()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n C
a
rpenter
ma
t
h: s/NOTIMPLIED/EXA
C
T/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpent
e
r
math
:
improve abs
o
lute max/mi
n
with regards to casting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan
Carp
e
n
ter
sva
l
: fix sval_too
_
h
i
gh(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpente
r
db: introduce call_
r
es
u
lts_to_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan
C
arpent
e
r
db: move
g
et
_
p
aram_name() t
o
central location
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
D
a
n Ca
r
penter
flow: look at static and no
t
-st
a
tic local inline functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpenter
extra: add set
_
e
x
tra_nodmod() to smatc
h
_e
x
tra
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carpenter
deref: fix segfault p
a
rsing i
n
valid c code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpe
n
t
e
r
impl
i
ed: preserv
e
e
q
uival
e
nc
e
acro
s
s switch stat
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan
C
a
r
penter
math: handle sizeof for zero size bitfi
e
lds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra
:
handle previous
l
y assigned simple
m
ath
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan
Ca
r
penter
extr
a
: handle
"if (a -
3 > 100) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
e
x
t
ra: sp
l
i
t match_comp
a
ri
s
on() into two fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n Ca
r
pe
n
ter
cap
p
ed: known
v
a
lue
s
are always capp
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpen
t
er
Revert
"
s
p
a
r
se: introduce get_e
x
p
res
s
ion_value_nomod
(
)
"
commit
|
commitdiff
|
tree
2013-04-20
Dan
C
arp
e
nter
sh
o
w_unreacha
b
le
.
sh: add so
m
e more ignored kernel func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
flow: don't print dupl
i
cate "unreacha
b
le code" wa
r
ni
n
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
d
b: repla
c
e dat
a
base info scripts wit
h
smdb
.
py
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
show_unreach
a
b
l
e
.
s
h
: chan
g
e t
h
e lin
e
nu
m
ber
form
a
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Da
n
Carpe
n
ter
show_unreacha
b
le
.
sh: re
p
lace tabs with spaces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpenter
db: kernel: fake up ->rea
d
/write() limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
d
b
:
store "too common" func
t
io
n
s in the dat
a
bas
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carpe
n
ter
param_clea
r
ed: cl
e
ar
_
buffer: add th
e
m to the check_li
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next