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: parse asm and unops after everyone else is finished with them
2012-12-14
Dan Carpenter
e
xtra:
parse asm and unops after eve
r
yone else is finished
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Carpenter
pointe
r
_
m
at
h
: check for (int *)p += siz
e
of(int
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
D
a
n Car
p
enter
t
reewide: fix some mem
o
ry lea
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Da
n
Carpenter
Revert "cons
t
raints: fix bug in remove_from_equiv()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
slist: fix
s
ome de
b
ug
c
od
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n
Carpenter
slist: compile err
o
r in
d
ebug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
arp
e
nte
r
cons
t
r
a
ints: fix a memory l
e
ak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Ca
r
penter
constraints: fix bug in remov
e
_f
r
om_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpe
n
ter
constrai
n
ts: use
c
m
p_relation
(
) instead of
c
us
t
om code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
D
a
n
C
arp
e
n
t
e
r
co
n
d
i
tio
n
s:
rework _
_
is_condi
t
i
o
n
_
assig
n
() =>
i
s_co
n
dition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
Da
n
Carpente
r
d
b
: remove g
e
t_return_id()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpente
r
parse_
c
all_math: upd
a
te t
o
new return_states
A
PI
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
u
s
er_d
a
ta: move
t
o the
r
e
turn_s
t
ate
s
API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
enter
extra
:
mo
v
e
return_value_param to the
n
ew re
t
urn_stat
e
s
API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
states: introduce get
_
all_state_s
l
i
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carp
e
nter
d
b
: call retu
r
n_s
t
ates at
t
h
e e
n
d
of the f
u
nction if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an Car
p
enter
db
:
fi
x
ret
u
rn ranges for the re
t
urn_states callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
r
penter
db: ch
a
nge print_returned_struct_members() to new API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
e
n
t
er
db
:
intr
o
duce
a
dd_returned_state_
c
al
l
back()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpe
n
ter
db: pass
t
h
e
return_i
d
to t
h
e
struct member
c
allbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpen
t
er
modification_hooks
:
handle inline asse
m
bly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
rpenter
info: de
r
eferences_param: print th
e
derefe
r
en
c
es even
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpe
n
ter
db: handle global f
u
nction assig
n
m
e
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpe
n
t
er
extra:
info: don't print e
m
pty
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpenter
abso
l
ut
e
:
use
get_
i
mplied_min() instead of get_
i
mplied_
v
a
l
ue
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpenter
extra: save more modifi
e
d pointe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
enter
db: c
h
ang
e
smdb_return_info
.
sh
t
o smdb_return_values
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
ente
r
ext
r
a
:
db: re
c
ord when peopl
e
modify
pointers passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan
Carpente
r
ext
r
a
: m
o
ve --i
n
fo hooks later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpente
r
db: mov
e
fre
e
_
sli
s
t(
)
inside
the loop and f
i
x
a memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
helper: introduce get_param_num_from_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan
Carpenter
db: save struct member valu
e
s acros
s
r
e
turns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
D
a
n
C
a
r
p
e
n
ter
type: rename get_param_typ
e
_from_key() => get_member_ty
p
e_fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
nter
fl
o
w: impl
i
ed: fix how switch statements are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rp
e
nter
gener
i
size
.
pl:
r
emov
e
u16max and friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan
Carpenter
ex
t
ra
:
tweak handling of absolute
min/
m
ax in co
m
pariso
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan
Carpenter
math: ignore fuzzy maxe
s
t
h
at
ar
e
type_m
i
n() + 1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan
C
arpe
n
t
e
r
m
ath: overflow im
p
lies that there i
s
no fuzzy max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
e
n
t
er
math: over
f
lo
w
s
i
n
h
a
r
d max are undefin
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra
:
han
d
le lo
o
ps where without a hard max t
h
at don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
extra: clear hard max
i
f we are f
a
lling back
to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
Car
p
en
t
er
e
xtra: get m
a
x c
o
rrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
e
x
tra: set hard max corr
e
ctl
y
in loo
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carp
e
nter
ex
t
ra: if (uns
i
gned
>= unsigned) {:
A
lways true if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpe
n
ter
math: check for overflow
s
whe
n
ca
l
culating th
e
max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
conditions: pre
s
e
rve t
h
e
t
y
pe in select assi
g
nm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ty
p
e
: cle
a
np get_member_sym
b
ol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ext
r
a:
type: get the member typ
e
when loading
v
alues
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debu
g
: a
d
d __
s
match_debug_i
m
p
l
ied_on/off()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n C
a
r
p
enter
d
e
bug: in
t
roduce local_debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpenter
ext
r
a: re
v
erse max()/min
(
) test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Car
p
enter
sval: han
d
l
e canonica
l
for
loops diff
e
r
e
n
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
s
val
:
conve
r
t SHRT_M
A
X to s16
m
ax in the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
Carpenter
funct
i
on_hooks: con
s
i
d
er
t
he re
t
urn type
o
f the functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
ex
t
ra: remove
some duplicate
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
ma
t
h:
c
ha
n
ge how MOD operations
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
C
arpenter
m
ath:
c
ou
n
t som
e
more things as implie
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
r
penter
extra:
t
y
p
e: move
g
et_arge_ty
p
e
() to smatch_ty
p
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
extra: math:
move get_imp
l
ie
d
_rang
e
_list() to smatch_ma
t
h
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
an C
a
rp
e
n
ter
sva
l
: extra: get_
i
mplied_range_list() ret
u
rn whole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
scripts
:
trace params us
e
4 space indent
s
consistently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sva
l
:
math: fix
g
et_val
u
e() for
!
foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an
C
arpent
e
r
che
c
k
_sizeof_pointer: complain
about si
z
eof(&foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nte
r
h
o
oks: add a
SIZEOF_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
s
v
a
l: m
a
ke c
a
s
t
_rl() preserve things better across
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
sval: type: handle type_b
i
ts() for addres
s
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: t
y
pe:
u
se typ
e
_bits() through
o
ut
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: fix
u
p
c
al
l
s t
o
sval_cmp_val(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: type: hack
select
t
ypes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
C
arpenter
ex
t
ra: remo
v
e
d
ebugg
i
ng output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
penter
sva
l
: add s
v
al_is_negative()/positive()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval:
t
ake the type into consideration w
h
en doin
g
an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sv
a
l: c
a
st t
h
ings co
r
r
ectl
y
i
n
sval_cmp
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpen
t
er
f
l
o
w: hooks
:
f
i
x MA
C
RO_ASS
I
GNMEN
T
_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
D
an
C
arpenter
flow: hooks:
introd
u
ce GLOBAL_A
S
S
IGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan
C
arpenter
sv
a
l: i
n
troduce sval_bi
t
s_used()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
type: introduce type_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
Mer
g
e branch 'sval'
into m
e
rge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sva
l
:
ra
n
ges
:
s
et correct max in cas
t
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n
Carpenter
sval:
db: cast parame
t
ers to the correct type before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
s
v
al: ex
t
ra: h
a
ndle
a
ssignments bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpe
n
ter
sval: ca
s
t the return t
y
pes bef
o
r
e
e
ntering t
h
em into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
enter
s
v
al:
e
xtra: type in
f
ormation
w
a
s being lost i
n
++
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
e
n
ter
sval: flip the switch and don't use s32
m
i
n
-s32max instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: signed: fix validation test and up
d
a
te for
m
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
val
i
d
ati
o
n: sig
n
e
d: update validatio
n
t
e
s
t
to
reflect
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carp
e
nter
math:
c
leanup
s
ome na
m
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan
C
arpenter
math: add
f
uz
z
y_max a
n
d f
u
zzy_min to
imp
l
ied_opposite()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Car
p
enter
sval: math:
fix how ne
g
ate operations a
r
e handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpent
e
r
sval: absolut
e
: fi
x
reversed condi
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpent
e
r
sval
:
you'r
e
not a
l
lowed to divide LLONG
_
MIN by -1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: fix par
s
e
_
va
l
ue_ranges
_
type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: re-introduce sval_is
_
a_min() sval_i
s
_a_
m
ax()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n Carpenter
sval: d
o
n't
i
nvent bogus ra
n
ge in alloc_range_helpe
r
_sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Da
n
C
a
rpe
n
ter
s
v
al:
use typed version of parse_value_ranges() throughou
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
s
val: move cast_rl() into parse_value_ranges_typ
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carp
e
nter
c
l
e
anu
p
:
make
type the
f
irst argument of sval_ca
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
arpenter
clean
u
p: mat
h
:
rename a variable f
r
o
m
"
t
mp_ret" t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpent
e
r
cl
e
an
u
p: make type
the first arg
u
ment for cast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
clea
n
up: ren
a
me
p
ossibly
_
f
a
lse_range_li
s
ts_r
l
() to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next