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
flow: fix initialization of nested structs
2017-04-12
Dan Carpenter
flo
w
: fix
i
n
itializat
i
on of nested str
u
cts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
db: build an index o
n
the
par
a
m
e
ter names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
math: improve MOD
handlin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
nter
parameter_
n
ames: store parameter names in the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Ca
r
pe
n
ter
s
m
db
.
py:
reform
a
t call_info
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
nter
Makefi
l
e: use
q
uiet link to
l
ink
s
m
atch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
a
r
p
enter
s
t
ates
:
fi
x
handling switches inside conditi
o
n
s
(fake_cur
_
s
tree)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpenter
s
tat
e
s: s
p
lit update_f
a
ke_stree_with_merg
e
d
(
) a
n
d add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rpent
e
r
type_v
a
l: small tweak fo
r
arrays and complica
t
ed lva
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Carpe
n
ter
extra: handle indirection like
"p = &foo; *p = 42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Da
n
Carpent
e
r
extr
a
: handle MOD con
d
itions
l
i
k
e
"
i
f (a
%
4) {" better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
modificati
o
n_h
o
oks: remove unused indi
r
ec
t
modific
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
Dan Carp
e
nter
v
al
i
dat
i
on/
s
kb3: de
l
ete so
m
e accidental debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n
C
a
rpen
t
er
user
_
data2: don't se
t
pa
r
ameters to user
_
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpente
r
u
s
er_data2: ha
n
dle skb->data math a little better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan
Carpent
e
r
user_data2: re-wo
r
k
handl
i
ng of skb->data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpenter
p
a
rse_call_math: work ar
o
und for
loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
ter
leaks: don't complain
i
f we overwrite NULL p
o
inters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
free: ignor
e
impossi
b
l
e
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
shif
t
_to_z
e
ro: make the
error m
e
ssage more informat
i
ve
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
test_b
i
t
:
add test_a
n
d
_clear_bit
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
smdb
.
py:
p
r
i
nt the r
e
turn_implies value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db/fixup_kernel
.
sh: igno
r
e do_loop
_
re
a
d
v
_writev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpent
e
r
extra: set hard max if a
f
unction is called with
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpenter
extra: fix handl
i
ng of known c
o
nditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpenter
pa
r
a
m_lim
i
t: d
o
n't set some unchanged li
m
i
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db:
prevent sl
o
w downs split
t
ing returns apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Ca
r
pen
t
er
d
b
:
set
parse_
e
r
ror if the SQ
L
fail
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpenter
param_set: handle if
t
h
e
pa
r
ent was s
e
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
D
a
n Carp
e
nter
bu
f
_size: fix ty
p
e_byt
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
d
b
:
fil
t
er poin
t
er calls by function signature
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implied: rev
e
rt
"
tiny speed up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
a
rpenter
assign_vs_compare: warn about "if (foo
=
&bar) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
type: fix
t
ype_bits() for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpente
r
s
h
ift_to_
z
ero: do a small cle
a
n
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpente
r
smatch
.
c: remove a bla
n
k
line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
db: sp
l
it
r
e
turn states by
n
ull
vs n
o
n-
n
ull parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
penter
extr
a
:
fil
t
er PARAM_
V
ALUEs with both extra
a
n
d real_
a
bsolut
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
math: handle -fo
o
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
C
arpe
n
ter
helper: introduce get st
r
uct and m
e
mbe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
imp
l
ied
:
tiny speed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpe
n
t
er
i
m
plied: sma
l
l
cle
a
nup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
range
s
: h
a
ndle b
i
twi
s
e AND operatio
n
s bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carpenter
real_absolute: intr
o
duce
get_real_abso
l
ute_var_sym
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an
Carpe
n
ter
avl: add a sh
o
r
t
cut for when t
h
e
r
e
a
re no states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
a
r
pen
t
e
r
type_val: h
a
ndle |= type assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
Dan
Carpenter
db: rename "functio
n
_
type_info" table to
"
fu
n
ction_t
y
pe
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user_
d
ata2: i
f
a user_
d
ata is equal to non-user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Ca
r
p
enter
pre-process: try find a
n
y
inc
l
ude
that looks like it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
comparison: remove s
o
me local_debu
g
information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carpenter
db/fixup_
k
ernel
.
sh: write to the tempor
a
ry DB instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Car
p
enter
extra: f
i
x type
i
ssu
e
han
d
ling ++= and
--= opera
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math: remove
u
n
c
ommitted function call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math:
f
ix handl
i
ng of s
i
zeof() __le16 types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
a
r
p
ente
r
math
:
handle real_ab
s
olute variables m
o
re accur
a
tel
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
r
e
al_absolut
e
: ig
n
ore iterator pre stateme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
helper: In expr
_
to_s
t
r() r
e
move ext
r
a pare
n
th
e
sis aro
u
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Carpenter
db: introduce sql_inse
r
t
_data_inf
o
_
var_sy
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n
Carpenter
db:
use "exte
r
n" instead
of the file name for
g
l
o
b
als
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpe
n
ter
sparse: i
n
trodu
c
e parse_erro
r
variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user_data2: handle
f
unctions
t
h
at merely return passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan
Carpente
r
h
oo
k
s: intro
d
uc
e
AS
S
IGN
M
ENT_HOOK_AFTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpen
t
er
db
:
giv
e
up hand
l
ing function
p
ointe
r
s if there are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpen
t
er
use
r
_
data2: r
e
move some
d
e
b
u
g
prin
t
fs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Ca
r
pe
n
ter
us
e
r
_data2: don't s
e
t
t
he f
u
nction
i
t
self
t
o us
e
r_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan
C
arpenter
user_
d
ata2:
improve handling when we return
u
s
er d
a
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
Dan Carpenter
function_hooks:
don't mark it as imposs
i
bl
e
if
a functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
D
a
n
C
arpen
t
er
compa
r
ison:
m
odif
y
the link
s
at at start of an
a
ssignmen
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
Dan
Carpenter
db: cleanup get_row_count(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
C
ar
p
enter
implied:
rename a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
Ca
r
p
en
t
er
estat
e
: add
a
n estat
e
_is_
e
mpty() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
arpente
r
db/kernel
.
n
o_inline: don
'
t parse the b
i
te swap functio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
kernel: pa
r
se ATOMIC_SET() manually
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
penter
db/ker
n
el
.
r
eturn_fixes: add some mor
e
f
ixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n Carpenter
db/fixup_kernel
.
sh: handle __k
e
r
nel_write
(
) a bit better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
vim_db:
h
andle older versions of vim
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/f
i
xup_kernel
:
handle __built
i
n_
b
swap64()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
Carp
e
nter
func
t
io
n
_hooks: chan
g
e order of how db verse implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpente
r
param_l
i
mit: don
'
t inser
t
empty st
a
tes into the
d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
C
a
r
penter
ranges: use a hack around so
w
h
en mergin
g
ra
n
ges of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Da
n
Carpent
e
r
typ
e
_val: fix a memo
r
y leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan C
a
r
p
enter
fu
n
ction_
h
ooks, db: handle PARAM
_
LIMI
T
fo
r
struc
t
mem
b
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
an C
a
rpenter
implied: fix a bug handling parameter
i
m
plications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
C
arpenter
implied: add m
o
re debu
g
informa
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-05
Dan Carpen
t
er
db:
s
ort re
t
urn_state
s
by file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flow:
t
iny clea
n
up
handling assig
n
men
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Da
n
Car
p
e
nter
flow:
r
emove an
u
nn
e
eded condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
D
an Carpenter
flow: re
n
ame a variable "
t
m
p
" -> "right"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-15
Dan Carpenter
k
er
n
el
.
ignored_macros:
a
d
d
L
ASSERT() from lustre
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
function_h
o
o
ks, db: use INTERNAL as
th
e
marker for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
D
a
n
Carpenter
db: handle fun
c
tion p
o
in
t
ers bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Ca
r
pe
n
te
r
u
ser_data2: math
:
function calls shou
l
d be ha
n
dled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpe
n
ter
math: fix a
type issue with MOD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-28
D
an Ca
r
p
e
nter
unt
r
acked
_
param: functions t
h
at ar
e
too hairy are
u
n
trackable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan
Carpenter
address:
simp
l
ify
is_non
_
null_array()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
typ
e
_v
a
l: use the correct type
in get_db_ty
p
e_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
D
a
n Carpe
n
t
er
implied:
f
ix
a
bu
g
with
b
orrowed impl
i
ca
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Da
n
Carpe
n
ter
f
l
ow: ha
n
dled d
e
cl
a
red labels bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan
C
arpenter
rang
e
s
: read u64max c
o
rrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carpenter
sm
a
tc
h
: remove tests t
o
see if an ar
r
ay
is NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next