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
check_precedence: fix a segfault
2012-11-01
Dan Carpente
r
c
h
e
ck_precedence:
fix a segfaul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carpe
n
t
er
unwind:
only ena
b
le with --sp
a
m
my
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
D
an Carpen
t
er
db: d
o
n
't
t
urn RaiseError
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan
C
a
r
pente
r
de
v
_qu
e
ue_xmit: turn on by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Ca
r
penter
db: ad
d
a
c
o
mment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carp
e
n
t
e
r
signed
:
tiny whitespace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
Carpenter
a
bsolute:
f
ix
p
arameter i
n
fo counting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
D
a
n Ca
r
penter
abso
l
ute: fix
h
ow
m
odificat
i
on
s
are handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
d
ebug: fix cut
and
paste bug in
p
rin
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
type: fix get
_
bin
o
p_t
y
pe() for bit
s
hift
o
p
erations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carp
e
nte
r
whi
t
espace
:
add a newline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carp
e
nter
absolute: track the abs
o
l
u
te limits that variabl
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
D
an
C
arpente
r
mat
h
: impro
v
e h
o
w get_absolute_
m
in/m
a
x() work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan
C
a
rpenter
m
a
th:
i
mprove how known logical oper
a
t
ions are han
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan Carpenter
type: simplify get_binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan Carpenter
type: im
p
rove h
a
ndl
i
ng of type pro
m
otio
n
on bin
a
ry
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan
C
arpen
t
er
extra: delete some de
b
ug
c
od
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
D
a
n Carp
e
nter
r
a
n
g
es:
p
arse
the ranges list correctly if it only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
r
p
e
nte
r
math: kn
o
wn condition
s
a
r
e
equal to one or zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
math: handle select
s
tatem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carpenter
helpe
r
:
improve printed messa
g
e
s
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rpent
e
r
extra: handle asm expressio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpen
t
er
dereferences_param: ha
n
dle
strcmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpente
r
r
a
nges
:
k
i
l
l the "E
r
ror invalid range message"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpe
n
te
r
assigned_
e
x
p
r
: ignore +=
a
ssignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
an Carpen
t
er
funct
i
on_hooks: white
s
pa
c
e fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
f
u
nct
i
on_ho
o
ks: use t
h
e stripped function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
d
b, b
u
f
_
size, parse_cal
l
_math: track the size of returned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpent
e
r
g
e
t
_implied_range_list
:
use
the new f
u
n
ctio
n
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Carpe
n
ter
implied_value: don't get co
n
f
u
sed by cas
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Car
p
enter
db/re
t
u
rn_states:
f
i
x
return
values for US
E
R_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Car
p
e
nter
f
u
nction_ho
o
ks: clean up
s
ome
nami
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Car
p
enter
fu
n
c
t
ion_hooks: introd
u
ce get_im
p
lied_return
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan
Carpente
r
misc: whitespace cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Da
n
Carpenter
db_caller
_
info
:
add
som
e
comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
an Carpe
n
ter
db, f
u
nction_
h
o
o
k
s
: pa
s
s assig
n
me
n
t
e
xpression to
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan Carpenter
buf_size: introduce
get_array_si
z
e_bytes_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
c
a
p
p
ed:
f
ix how the m
i
n() macro is
h
andled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpenter
bu
f
_si
z
e:
db: U
s
e
th
e
--spammy opt
i
on
t
o
f
i
l
l
the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
Carpenter
b
u
f_size
:
m
e
rging
two same size b
u
ffers giv
e
a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
ar
p
en
t
er
b
uf
_
si
z
e: re
c
ord st
a
tic variables in the databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpenter
proc_create:
f
ix
a whitespace issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carpe
n
ter
buf_size, d
b
: if a struct m
e
m
b
er s
i
ze i
s
s
e
t
i
n the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpente
r
check_kernel: fix ERR_PTR() fals
e
positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpe
n
ter
logical_in
s
tead_o
f
_
bitwis
e
: foo =
(1 << x
)
&& y; i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan Car
p
e
nt
e
r
loc
k
ing: _bh
l
ock f
u
n
c
t
i
ons are nestable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpent
e
r
e
xtra: introduce f
i
lter
_
range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rp
e
nter
kernel: handl
e
IS_ERR() properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
d
b
_info: remov
e
u
nused print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
er
ext
r
a, fun
c
tion_hooks,
d
b: chang
e
cross function analy
s
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
d
b
:
remov
e
the return_info tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
n
ter
s
m
atch_data: update the d
a
ta director to the latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: call
e
r_info: fix mor
e
f
a
ll out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
d
b: type_size: silence
a perl warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
d
b
:
caller_in
f
o:
updat
e
fixup_ker
n
e
l
.
sh to
t
he new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
extra:
get_
i
mplied_r
a
nge_list() sho
u
l
d r
e
tur
n
0
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
e
r
_data: use the new ret
u
rn_sta
t
es d
a
tabase table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
user_da
t
a: sysc
a
lls ar
e
a
s
ource of u
s
er d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data
:
i
f "pt
r
" i
s
u
ser data then "*ptr" is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
u
s
er_d
a
ta: a
d
d i
s
_user_macro() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
user_data: skb->data is
u
ser
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
extra: make a f
u
nc
t
ion static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: crea
t
e return_states table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
db:
a
d
d
get_retur
n
_
id() and return mar
k
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: improve e
r
ro
r
message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arp
e
nter
db: caller_info
c
hanges: store the caller, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
rpenter
db
:
add return_values t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpent
e
r
e
rr_ptr_deref
:
re
m
ove duplicate confli
c
ting
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
fun
c
tio
n
_ho
o
k
s:
move registration to th
e
right place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Dan Carp
e
nter
d
eref_ch
e
ck: remove dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
m
i
sc
white sp
a
ce
f
ixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpen
t
er
implied: change
d
ebu
g
ging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpe
n
ter
checks: ge
t
rid
o
f
some delete_stat
e
() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Da
n
Carp
e
nter
d
e
re
f
_
c
heck: fix a false pos
i
tiv
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carpenter
sparse: comme
n
t out an inter
n
al error mess
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Me
r
ge git
:
//
g
it
.
kernel
.
org/p
u
b/scm/dev
e
l/sparse/c
h
ris
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpe
n
ter
*new* a
s
si
g
n_vs_compare: if ((x =
<constan
t
>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Ca
r
p
e
nter
r
anges: intro
d
uc
e
rl_c
o
ntiguou
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
d
e
ref_
c
h
e
ck:
silenc
e
some false p
o
sitive
on cro
s
s function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carpenter
fill_db_call_implies:
check c
o
rrect vari
a
b
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
a
n Carpenter
fill_db_re
t
urn_implies: d
e
lete th
e
correct
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan
C
arp
e
nter
pointe
r
_
m
ath
:
check ALIGN
(
)
m
acro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan Carpe
n
ter
he
l
per
:
handle
if (WARN_
O
N(i
=
= ARRAY_SIZE(foo)) ret
u
rn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpente
r
a
ssigned
_
e
xpr:
move check
_
assigned_exp
r
() to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n Carpenter
macro_side_ef
f
ec
t
s: only
ena
b
le when
--spammy is us
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan Ca
r
p
e
n
ter
ign
o
r
e_side_effects: add some more macros that have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: add -
-
s
p
amm
y
to validation
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
arpenter
over
f
l
ow: remov
e
strn
c
py()
false posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
ent
e
r
Merge branc
h
'
d
eve
l
'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carp
e
nter
buf_si
z
e: t
u
rn
o
ff buf size for &address
e
s unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpenter
flow
:
ha
n
dle t
h
e __noret
u
r
n
__ attrib
u
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Carpe
n
t
er
buf_
s
ize: re
m
ove th
e
&* an
d
[0] from
aroun
d
the pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
an Carpenter
s
m_buf:
don't return t
h
e
maximu
m
store buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Da
n
C
a
rp
e
n
t
er
b
u
f_
s
ize: retur
n
th
e
s
ize o
f
&foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpente
r
buf_s
i
ze: add k
m
allo
c
_array() and sock_
k
m
a
lloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
a
r
penter
b
u
f_size: i
f
the m
e
mber s
i
ze is not known then stor
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carp
e
nter
Merge b
r
anch 'buf_size'
i
nto d
e
vel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpente
r
Mer
g
e gi
t
://
g
it
.
kernel
.
org/pub/s
c
m/devel/
s
parse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan
C
arpe
n
ter
buf_siz
e
: fir
s
t g
e
t the
size in byte
s
then
c
onvert
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_size:
r
e
move cast_rati
o
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next