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
implied: get rid of the ->implied member
2016-07-01
Dan Carpenter
implied: get rid of
the
-
>i
m
plied
m
e
mber
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
i
m
plied: get rid of
a
temporary variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Da
n
Carp
e
nter
sm
a
tch_data
/
wine
.
n
o_return_
f
u
ncs:
a
dd
more functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
s
m
atch_scripts/gen_no_return_funcs:
fix this
for
o
ther
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
D
a
n Carpenter
pre-process: make -nostdi
n
c work aga
i
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpent
e
r
c
h
e
ck_wine: mak
e
rep
o
rt(R_F
A
TAL
,
.
.
.
)
a nullif
y
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
an Carpenter
validation/s
m
_WtoA: add si
n
gle quo
t
e
s
i
n output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
an Carpenter
smatch_script
s
:
u
pdate the gen
_
* scrip
t
s to ta
k
e a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Ca
r
penter
parse: ignore _Pragma()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan C
a
r
p
enter
smat
c
h
_
d
a
t
a/w
i
n
e
.
ign
o
red_macros:
a
dd ok()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Da
n
Carpenter
sm
a
t
ch
_
data/wine
.
no_return_funcs:
u
pdate the list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
enter
s
p
a
r
se: add /usr/
i
n
clude/x86_64-linux-gnu/ i
n
clud
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n
Carpenter
w
i
ne
_
WtoA:
add singl
e
d q
u
otes in the output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-25
Da
n
Carpenter
db
:
r
emove PRAG
M
A synchronous = OFF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
D
an Carpente
r
a
vl
:
m
a
ke get
_
str
e
e_i
d
()
r
eturn -1 i
f
the stree pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
implied: handle ->implied states d
i
fferen
t
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
slist, im
p
lied: pre
s
erve
t
h
e
enti
r
e cur_stre
e
in t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpen
t
e
r
implied: fix a bug where we imply
the
wr
o
n
g thing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpe
n
te
r
implied: remove an
i
ndent level
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
C
arp
e
nter
implied:
c
h
a
nge debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-17
Dan Carpenter
extra: ignore
trunc
a
ted lim
i
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Ca
r
p
e
nt
e
r
fl
o
w
:
h
andle
a
sm
goto
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
a
rpen
t
e
r
db: split on boo
l
ea
n
p
a
r
ameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
struct_assignment: hand
l
e poin
t
ers
b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
D
a
n
C
arpenter
fu
n
ction_hooks: hack around invalid
i
nput
fro
m
the
DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan
Carpente
r
funct
i
on_hook
s
: fix the p
r
evious
ran
g
e hook
s
fix again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
flow:
set ->p
a
rent for expression stat
e
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan C
a
rpenter
h
e
lper, untrac
k
ed_pa
r
a
m: mo
v
e
the
int_stack to
smatch_h
e
lper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
an
Carpenter
ranges: fix casting to b
o
ol
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n
Car
p
en
t
er
flow: set po
s
ition at
t
he sta
r
t of the f
u
n
ct
i
on correct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
Car
p
ent
e
r
functio
n
_
h
ooks: fix a typo
in de
b
ug o
u
tp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
implied: tweak t
i
m
e
out in separate_and_fil
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
fu
n
ction_hook
s
: fi
x
a type issue (affects range
d
funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n Car
p
enter
f
unction_hook
s
: fix db and ran
g
e
d
_functions integration
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Da
n
Carpenter
d
b
/
kern
e
l
.
return_
f
i
xes: hack
a
r
ound down_
i
nte
r
ruptible()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Car
p
enter
db/
k
ernel
.
return_fixes:
add s
c
nprintf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Da
n
Carpen
t
er
function_h
o
oks: fix locking false positiv
e
s
when
y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpente
r
e
xtra: fix memset() h
a
ndli
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Car
p
enter
im
p
lied: delete unus
e
d funct
i
o
n sm
_
state_in
_
slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
ptrli
s
t: use after free
i
n last_ptr_
l
i
s
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpent
e
r
f
l
o
w: ty
p
e issue hand
l
ing switch
s
tatem
e
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Ca
r
pent
e
r
r
a
nges: fix type
i
ssue in r
e
move_range(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan
C
arpent
e
r
condi
t
ions: s
i
lence va
l
grind warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
Dan C
a
rpenter
flow: set fin
a
l
_pass if we have to b
a
il
on a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpent
e
r
ex
t
ra:
e
x
port get_
o
ther
_
name_
s
ym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carp
e
nt
e
r
impossible: ad
d
is_i
m
possible_path()
to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arpenter
db: don
'
t
c
r
ash generati
n
g
S
Q
L
fo
r
i
n
val
i
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Car
p
en
t
e
r
extra: fix bug handling untracked pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arpenter
struct_assignment:
ig
n
ore certai
n
t
ypes of a
s
si
g
nme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
Carp
e
nter
extra: defere
n
ces i
n
fake assignments do
n
't
c
ou
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpen
t
er
extra: handle
f
ake assignments faste
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
D
a
n Carpenter
implied: im
p
rove ov
e
rwrite
_
states_us
i
ng_pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Ca
r
penter
impl
i
ed: add a comment
explai
n
ing
h
ow implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
D
an Carp
e
n
t
e
r
function_hooks
:
c
heck PARA
M
_LIMIT impli
c
a
tions all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
Dan Carpenter
func
t
ion_hooks
:
integrate
c
all
_
implies
h
ooks with the d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
r
p
e
n
te
r
slist: mangle the l
i
n
e
numbe
r
of
m
erged s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
sizeof_param:
remove
read_rom() from chec
k
ed functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
c
rea
t
e_db: del
e
te some dupli
c
ate entr
e
es
from func
t
ion_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Ca
r
pent
e
r
real_absolute:
don
'
t s
t
o
r
e whol
e
ranges
f
o
r
no reas
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpenter
struct_assignmen
t
: pull split_fake_expr(
)
into its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
db:
l
i
mit the a
m
ount o
f
data in typ
e
_
v
alue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpenter
ex
t
r
a
:
handle if (IS
_
E
R
R(foo[bar])) {
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpent
e
r
db: in
t
roduce get_param_name_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n
Carpenter
impl
i
e
d: h
a
ndle chunks in sw
i
tch statements like swi
t
ch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n
C
arpen
t
er
extra: don'
t
mark all arrays as derefere
n
c
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpe
n
t
er
help
e
r: create
a
n allo
c
_state
_
ex
p
r
(
) hel
p
er function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
a
rpenter
whitespace: remove so
m
e blank
l
ines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
C
arpenter
extra: remove unus
e
d
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
l
o
c
k
ing:
add mor
e
impossible handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpenter
d
b
:
remove some ex
t
ra se
m
i-colons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
pent
e
r
ranges: remo
v
e an unneeded ini
t
ializer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpenter
re
t
urns: pr
o
vide a split ou
t
li
s
t of all
t
he
r
e
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
nte
r
returns: add g
e
t
_all_returns_states() functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carpenter
m
o
ve
f
r
e
eing
to
A
FTER_
F
UNC_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
db: cons
t
ify some
po
i
nte
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
ter
extra:
add missing include
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n C
a
rpenter
extra: do
n
'
t
o
v
erwrite no
n
-nu
l
l pointers because of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extra: fix ha
n
dl
i
ng of "if
(foo & 0
x
3210) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
Dan Carpenter
par
a
m
_set: introduce param_was_set_
v
ar_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
i
mpo
s
si
b
le
:
handle swi
t
ch sta
t
e
m
en
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Da
n
Carpen
t
er
i
m
po
s
sible
:
d
o
n't ove
r
write the impossib
l
e state by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
impli
e
d: handle implica
t
ions for if ((
{
whatever; foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
Dan
C
arpenter
slist: cr
e
at
e
i
s_lea
f
() function which is the opposite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
Dan
C
arpenter
ranges:
u
se signed type for negative ints les
s
than
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
db/kernel
.
return_
f
ixes regmap_bu
l
k_read()
r
e
t
u
r
ns
neg
a
tives
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
D
an
Ca
r
p
enter
r
a
nges: fix a
bug in
rl_invert()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan C
a
rp
e
nter
sval, type: make some functions inline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carp
e
nter
i
m
p
l
ied: f
i
x an old implication bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
implied:
r
emo
v
e
u
nused add_po
o
l() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carp
e
n
t
er
implie
d
: pass sm_states instead of pools
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
D
an
C
a
rpenter
imp
l
ied: fix a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Ca
r
penter
implied: updat
e
some
d
ebug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpe
n
t
e
r
implied: cr
e
a
t
e fake implication history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan
C
a
rpenter
states: tw
e
ak
debug ou
t
pu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
D
a
n
Carpenter
states: print debug output in __set_true_f
a
lse_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
D
an Carpenter
implied: overwrite smatch_extra using
i
mplied states
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carp
e
nter
ranges, extra: move and export spl
i
t_co
m
pariso
n
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Car
p
ente
r
slist: remove unused __set_true_
f
a
l
se
_
if_not_already_s
e
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n C
a
rpen
t
er
d
b: make a file k
e
rnel
.
retu
r
n_fixes
f
or
upda
t
ing return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an C
a
r
p
enter
flow: merge
m
ul
t
iple case
stat
e
ments in a row to
g
ether
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next