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
modification_hooks: handle inline assembly
2012-12-05
Dan Carpe
n
te
r
modification
_
hooks: handle inline assembly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpent
e
r
info
:
dereferences_
p
ar
a
m:
p
r
int the
d
e
refe
r
ences even
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Da
n
Carpenter
db: h
a
nd
l
e global func
t
ion
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan Ca
r
pe
n
ter
extr
a
:
i
n
fo: don't print
e
m
pty states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carp
e
nte
r
a
b
s
olute: u
s
e get_impli
e
d_min()
i
n
stea
d
of ge
t
_
i
mplied_
v
alue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpenter
extra:
s
a
ve more modifi
e
d pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan
Carpen
t
e
r
db
:
chang
e
smdb_re
t
urn_info
.
sh to smdb
_
return_value
s
.
s
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
e
n
t
er
extra: db: r
e
cord when
people modify poi
n
ters passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Ca
r
penter
extra: move --info hooks later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpen
t
er
d
b: mo
v
e fre
e
_slist()
inside
t
he loop
a
nd
f
ix a m
e
mory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carp
e
nter
h
e
lper: introduce get_pa
r
am_n
u
m_from_
s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carp
e
nter
d
b: save str
u
c
t
me
m
ber values acro
s
s
r
etu
r
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
D
an Carpenter
type: rename get_
p
aram_type_from_key() => get_member_type_fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Ca
r
penter
flow: implied:
f
i
x
how switch statements are
h
andled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rpenter
generisize
.
p
l
: remov
e
u16max and frie
n
ds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Car
p
enter
ex
t
ra: tweak handl
i
ng o
f
absolute min/
m
ax
in compar
i
son
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Da
n
Carpenter
math:
i
gn
o
re fuzzy max
e
s that are t
y
pe_min()
+ 1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math
:
ove
r
flow implies that
t
here is no
f
uz
z
y
max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carp
e
n
t
er
m
a
th:
overflows
in hard max are undefin
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpenter
extra: ha
n
d
l
e loops
where
w
ithout a hard max that
d
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: clear hard max
i
f we are falling
bac
k
to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
extra: get m
a
x co
r
rectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: set hard max correctly
i
n l
o
ops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: i
f
(unsign
e
d >= unsigned) {:
A
lways true if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
math:
c
heck f
o
r
overflows when
calculating
t
he max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
conditi
o
ns: pres
e
rve the
t
y
pe in select
assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpent
e
r
t
y
pe: clean
p
get_memb
e
r_symbol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
e
xtra: t
y
pe:
g
e
t the member type wh
e
n loadin
g
values
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
deb
u
g
: add __smat
c
h_d
e
bug_
i
mpli
e
d_
o
n
/off()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpente
r
debug: introduce lo
c
al_debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
Carpenter
ext
r
a
:
reverse ma
x
()/mi
n
() te
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
D
an Carpenter
sval:
han
d
le
c
anonical fo
r
loop
s
differently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
C
arpe
n
ter
sval: convert SHRT_MAX to s16m
a
x in the o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
function_hooks:
c
onsider the return type of the functio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
D
an
C
arpenter
extr
a
: remove some d
u
plicate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Ca
r
penter
math: change how MOD
operations are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n Carpenter
m
ath: co
u
n
t
s
o
me more things as
i
mplied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Ca
r
p
e
n
t
er
extra: type: m
o
ve get_arge_type(
)
t
o
sm
a
tch_type
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Ca
r
penter
ex
t
ra:
math: mov
e
get_impli
e
d_range_
l
ist() to s
m
atch_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carpenter
sval:
e
x
tra: get_implied_range_
l
ist()
r
e
turn whole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Ca
r
pen
t
e
r
scri
p
ts: trace
p
ar
a
ms us
e
4
space indents con
s
istently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an
C
a
rp
e
nter
sva
l
: math: fix get
_
v
alue()
for !foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
check_sizeof_p
o
inter
:
complain
a
bout sizeof(&foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
hooks: a
d
d a SIZ
E
OF_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpent
e
r
sval: make ca
s
t_rl()
p
reser
v
e
thin
g
s b
e
tt
e
r
across
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
penter
sva
l
: type: hand
l
e
type_bits() for addresse
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpenter
sval
:
type: use type_bits() th
r
ough out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval:
fixup calls to
s
val_cmp_val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpent
e
r
sval: typ
e
: hack se
l
ect types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
e
x
t
ra: re
m
ove debugg
i
ng output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an Car
p
ente
r
sval: add sval_is_ne
g
a
tive()/positive()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpe
n
ter
sval: take
the
t
ype into consideration whe
n
do
i
ng an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
sva
l
: cast thing
s
correct
l
y in
s
val_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Bart Van Assch
e
sval: un
i
nitialized varia
b
le warni
n
g
commit
|
commitdiff
|
tree
2012-11-17
D
a
n
Carpente
r
f
lo
w
: hoo
k
s: fix
M
ACRO_ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flow: hooks: in
t
rodu
c
e GLOBAL
_
ASSIGNMENT
_
H
O
OK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Ca
r
penter
sva
l
: introduce sval_bits
_
used()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n
Carpenter
type: intr
o
d
u
ce
t
y
p
e
_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
an Ca
r
penter
Merge branch 'sval' into merge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Car
p
e
n
ter
sval
:
rang
e
s: set c
o
rrect max in cast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: d
b
: cast p
a
rameters to the correct
type before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
an Carpenter
sval:
e
xtra: handle assignment
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Car
p
ent
e
r
sval
:
cast the r
e
turn
t
ypes b
e
fore entering
them into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
sval:
extra: type inform
a
tion was
being lost in ++
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
pente
r
sva
l
: flip
t
he
swit
c
h and don't use s32mi
n
-s
3
2ma
x
instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
sval:
s
igned: fix valida
t
ion test
and upda
t
e
format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
validation: si
g
ned
:
upd
a
t
e validati
o
n t
e
st to ref
l
ect
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Wol
f
ram San
g
M
akefile:
d
r
o
p
s
u
perfluous trail
i
n
g '/'
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
math: cle
a
nup some nam
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpe
n
ter
math: add f
u
zzy_max and fuzzy_min to
implied_opposite(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan
C
arpenter
sval: mat
h
:
fix how negate operations
a
re
h
andled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carp
e
nter
sval:
a
bsolute: f
i
x
r
e
v
ersed condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
an
C
arpe
n
ter
sva
l
: you're
not allow
e
d to divide LL
O
NG_MIN
b
y -1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n
Carpenter
sval
:
fix parse_valu
e
_r
a
nges_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: re-intro
d
uce
s
v
a
l_is_
a
_min() sval_i
s
_a_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Da
n
Carpen
t
er
sval:
don't i
n
ven
t
bo
g
us range i
n
a
lloc_ran
g
e
_
h
e
lp
e
r_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval
:
use typed version of parse_val
u
e_ranges() t
h
roughou
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval:
move
c
a
s
t
_rl() into par
s
e_v
a
lue_ranges_typ
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
ar
p
enter
clea
n
up:
m
ake type the first argu
m
ent
of sval
_
c
a
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Da
n
Carpenter
cleanup:
m
a
t
h
:
r
e
name a
v
a
riabl
e
from "tmp_
r
et" to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Car
p
enter
cleanu
p
: make
type the first argument for
cast_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n Carp
e
nter
c
le
a
nup: rename
p
ossibly_false_range_lists_
r
l() t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
an
Carpenter
c
leanup:
r
ename g
e
t_value_ra
n
ges() t
o
parse_va
l
ue_ranges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
an
Carpenter
sva
l
: remove the _
s
val()
fro
m
alloc
_
es
t
ate_range_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpen
t
e
r
sva
l
:
r
emove the _sval() from tack_on_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carp
e
nter
sval
:
remove
t
h
e
_sv
a
l() fro
m
alloc_ra
n
ge_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpent
e
r
sval: remove
the _sval() from true
/
false_comparison_range_lr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: remove t
h
e _sval() from estate_get_single_value
_
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
arpen
t
er
sval
:
remove
t
he _sval
(
)
from ran
g
e
_lis
t
_union_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpente
r
sval: remove the _sval() fro
m
estate_m
i
n/max_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
an Car
p
enter
sval
:
remo
v
e the _sval()
f
ro
m
estate_ranges_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
Carpe
n
ter
sval: r
e
move the _sval() from al
l
oc
_
estat
e
_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: remove the
_sval
(
) fr
o
m get_value_ranges_sva
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n
C
ar
p
enter
sval:
r
emove the
_sval() from remov
e
_range_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n Carpente
r
sval:
remove the _sval(
)
f
r
om show_
r
ange_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: rem
o
ve t
h
e
_
sval() f
r
om clone_permanent_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
Carpenter
sval: remove the _sv
a
l
(
) from the possibly_true
/
fals
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Da
n
C
arpenter
s
v
al: renam
e
t
r
ue_compa
r
ison_range
_
s
val() to
tr
u
e_com
p
arison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval
:
rename: remove th
e
_sval(
)
from ranges_equiv
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Da
n
Carpenter
sval: rena
m
e add_
r
ange_sval
(
) to add_rang
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next