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
helper: fix crashing bug
2013-06-12
Dan Carpenter
sma
t
ch: add -
-
time option for deb
u
gg
i
ng what takes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan
C
arpenter
slist: use a fa
k
e cur_slist for handlin
g
unm
a
t
ched_states
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan
C
arpente
r
state
s
: introduce __set_fa
k
e_cur
_
slist_fast()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
hooks: int
r
oduc
e
AF
T
E
R_FUNC_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carp
e
nter
para
m
_
c
le
a
red: add so
m
e
m
ore fun
c
tio
n
s that clear
p
ar
a
meters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
hel
p
er:
sp
e
e
d
up ex
p
r_to_
v
ar_sym
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
D
a
n Carpente
r
cap
p
ed
:
introduce is_capped_
v
ar_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
db, comparis
o
n:
stor
e
r
e
t
u
rn ran
g
e comparis
o
ns in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
D
an Carpenter
compari
s
o
n
: pull ge
t
_compari
s
on_strings()
i
nto its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carp
e
nter
d
b,
c
omparison, r
a
ng
e
s:
i
mprove how comparisons will
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpe
n
ter
comparison: handle --/
+
+
m
odific
a
tio
n
s be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan C
a
rpenter
mo
d
ific
a
tion_hooks: pass the mod
i
f
y expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpen
t
er
ext
r
a: revert p
a
rt of
the recu
r
s
e
patch which broke
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
D
a
n Carpenter
rec
u
rse:
oops
.
add EXPR_VALUE and fi
x
a va
l
i
d
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan
C
a
rpenter
states: introduc
e
__set_fake_cur_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
D
an Carpenter
user_data: pull is_
u
s
e
r_da
t
a_state() into its o
w
n function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan
C
a
r
penter
recurse, e
x
t
r
a: int
r
oduce has_variable() and fix f
o
rever
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
start_sta
t
es: ad
d
it t
o
check
_
list
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan
C
arpenter
comparison, db: use comparison information stored in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan
C
arp
e
nter
db:
remove a
n
unuse
d
variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
D
an
C
arpenter
user
_
data:
ad
d
a
co
m
m
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan
C
a
r
penter
user_data: introduc
e
is_capped_user_d
a
ta(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Ca
r
penter
extra: slist: white space changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpen
t
e
r
math
:
fail
more often w
i
th F
U
Z
ZY a
n
d HARD
limit
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
s
val
:
mak
e
some more fixe
s
t
o
s
val_bi
n
op_overflo
w
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n Ca
r
p
e
n
ter
lo
c
al_values: st
o
re correct initial
v
alu
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Ca
r
penter
ext
r
a
: han
d
le comparisons
w
here t
h
e
f
unction only returns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
extra: m
o
v
e
m
a
tch_func
_
co
m
parison() lower in
the
file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpe
n
ter
estate: preserve th
e
hard max in esta
t
e
_
fil
t
er_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpente
r
ma
t
h: fo
r
b
i
twise
A
ND only use it f
o
r
IMPLIED and ABSOLUTE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
sv
a
l
: cast p
r
eop '
-
' operatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
D
an Carp
e
nter
sva
l
: cast bit
w
i
s
e
negates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
C
a
rpe
n
ter
capped: handle
postops bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpenter
buf_size:
handle bad data from the da
t
abase
bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: use cor
r
ect variable in handl
e
_conditional_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
pente
r
capped: u
s
e
ge
t
_hard_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpent
e
r
m
ath:
move s
o
me RL_HAR
D
and
R
L_E
X
ACT test
s
aro
u
nd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Car
p
enter
math: s32min is not
a fuz
z
y min
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Ca
r
p
e
nter
math: reversed condition in handle_d
i
vide()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
m
a
th: remove
d
up
l
icate buggy
c
ode in get_implied_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
m
a
th: put an escape hatch in handle_conditional
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: switch
t
o using
RL_ enums directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Car
p
en
t
er
math: d
e
lete ol
d
unused code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpent
e
r
math:
c
leanup
_
g
et_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
st
a
tes: fix some l
e
aks of the fake_cur_s
l
ist
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n C
a
rpenter
*new* smatch_star
t
_states
.
c
:
record the states at
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
db: fix
crashing
b
u
g
as a
r
e
s
ul
t
o
f
m
a
th changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
smatc
h
.
h: re
m
ove left over de
a
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
check_held_
d
ev:
s
m
all spelling fi
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
db:
d
on't query retur
n
_values table a
n
y more
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
penter
math: cleanup t
h
e rest of ha
n
dle_binop_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpe
n
t
e
r
m
ath: fix new
ha
n
dle_conditiona
l
_rl() c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arp
e
n
t
e
r
math:
i
ntrodu
c
e handle_divide_
r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpent
e
r
m
a
th: co
u
ple bugs in handle_sub
t
ract_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nt
e
r
sval: fi
x
s
v
al_
b
in
o
p_overfl
o
w
s() han
d
l
in
g
of sub
t
raction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
math: remove some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
in
t
rod
u
c
e new
hand
l
e_subtract_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math: create
new handle_right_shi
f
t() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
make new handl
e
_known_binop() f
u
n
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math: create n
e
w handle_bi
t
wise_AND()
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th: int
r
oduce handle_mo
d
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpent
e
r
math: create hackish temporary h
a
ndle_binop
_
rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math:
create new handle_minus_pr
e
op(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
mat
h
: cr
e
a
t
e new
hand
l
e_
b
itwise_negat
e
() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
intro
d
uce handle_exp
r
essi
o
n_sta
t
em
e
nt
_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
math:
use handle_variable()
i
n hand
l
e_preo
p
_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math: introduce han
d
le_negate_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math: introdu
c
e handle_am
p
ersand_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math: hack up a temporary handle
_
preop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: handle EX
P
R_POSTOP wit
h
_get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath: int
r
oduce ha
n
d
l
e
_conditi
o
n
al_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math: introduce ha
n
dle_
l
ogi
c
al_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
mat
h
: introd
u
ce handle_c
o
mparison_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
a
r
pente
r
math: create handle_call_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
math: cre
a
te h
a
ndle_variable() instead of _get_implie
d
_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Car
p
enter
math: move get_const_v
a
lue
(
) for
w
a
r
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Ca
r
penter
math: handle casting in _get_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
n
t
er
math: fix up some thi
n
k
os in the _get_r
l
() tra
n
si
t
io
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: intro
d
uce tempor
a
ry RL_I
M
PLIED enum
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math: duplicate _get_val
u
e() i
n
to _
g
et_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an C
a
rpenter
math: move absolute
m
in/max code fr
o
m
_get_va
l
ue()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpent
e
r
math: int
r
oduce
_
g
et_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
arpente
r
ranges: in
t
roduce rl_to_s
v
al()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: s/NOT
I
MPLI
E
D/EXACT/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carp
e
nter
math:
i
mprov
e
a
bsolute max/min with regards to casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan C
a
rpe
n
ter
s
v
al: fix sval_too_hi
g
h()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
D
a
n Carpenter
db: in
t
roduce
c
all_results_
t
o_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan
Carpenter
db: move
get_pa
r
a
m
_name() t
o
central
location
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpente
r
flo
w
:
l
ook
a
t
static and not-sta
t
ic local in
l
i
ne
func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
D
an Carpen
t
er
ext
r
a:
a
dd set_extra
_
nodmod() to
s
ma
t
ch_ext
r
a
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan Car
p
enter
dere
f
:
fix seg
f
a
ul
t
parsin
g
inval
i
d
c
c
od
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan
Carpen
t
e
r
im
p
li
e
d: preserve equivalence
a
c
ross sw
i
tch stat
e
m
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
D
a
n Carpente
r
ma
t
h: handle s
i
zeof for zero size
b
i
t
fields
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
arpe
n
ter
extra: handle
previo
u
s
ly
a
ssigned simp
l
e math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
D
an Carpenter
e
x
tra: handle "if
(a - 3 > 100) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: split
m
atc
h
_compari
s
on(
)
in
t
o t
w
o functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
capped: kno
w
n values are always cappe
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
a
r
penter
Revert "
s
parse: intr
o
duce get_expression_value_nomod()"
commit
|
commitdiff
|
tree
2013-04-20
D
a
n
C
a
r
penter
show_unr
e
achabl
e
.
sh: add s
o
me m
o
re igno
r
e
d
kernel functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
flow: don't print
d
uplicate "unreachable code" warn
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next