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
ranges, db: if we can't filter by comparison then use the whole range
2016-07-08
Dan Carpenter
ranges,
db: i
f
w
e
can't
f
i
lter by comparison then
u
se
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
db: handl
e
nested calls b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-04
Da
n
Car
p
enter
extra: re-write handle_AND_condition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpent
e
r
i
m
p
l
ied: handl
e
impo
s
sible
paths from comp
l
icated switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan
C
arpente
r
implie
d
: get rid
of the ->i
m
plied member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
im
p
lied: get rid of a tempo
r
ary variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
an
C
arpenter
sm
a
tch_da
t
a/wine
.
no_return_func
s
: add
m
ore functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Da
n
Carpenter
s
m
a
t
ch_scr
i
pts/gen_no_return
_
f
u
ncs: fix this fo
r
other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan C
a
rpent
e
r
p
r
e
-
process: ma
k
e -nostdinc work a
g
ain
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
c
he
c
k_
w
ine: make
repo
r
t
(
R_FAT
A
L,
.
.
.
)
a
nullify th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Da
n
Carp
e
nter
valida
t
ion
/
sm_Wt
o
A: ad
d
sing
l
e
quotes i
n
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
s
m
atch_scrip
t
s: update the gen_* scripts to take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpent
e
r
pa
r
se: ignor
e
_Prag
m
a
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Da
n
C
arpe
n
ter
s
m
atch
_
data/win
e
.
ign
o
red_macr
o
s: add ok
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan C
a
r
p
enter
s
match_data/wine
.
no_return_
f
u
n
c
s:
u
pd
a
te the lis
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n Carpenter
spar
s
e:
a
dd /us
r
/
include/
x
86
_
64-linux-gn
u
/
include
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan
Carpente
r
wi
n
e
_
W
t
o
A
:
add singled quotes i
n
the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-25
Dan Carpenter
d
b
: re
m
o
v
e PRAGMA synchr
o
nous
= OFF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n Carpenter
avl
:
make get_str
e
e
_
id
(
) re
t
urn -1 if the stree poi
n
ter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan C
a
rpenter
i
mplied: h
a
ndle -
>
implied st
a
te
s
differ
e
ntly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Da
n
Carpente
r
s
list, implied: pr
e
serve the entire
c
ur_s
t
ree in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n Carpenter
im
p
lied
:
f
ix a bug where we imply
th
e
wr
o
ng thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
im
p
lied: remove an indent level
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Ca
r
pen
t
e
r
implied
:
c
h
ange debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-17
Dan
C
ar
p
e
n
ter
extra: ignore truncated
l
imits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
an Carpenter
flow: handle asm gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
a
r
p
e
nter
db: s
p
li
t
on boolean parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan C
a
rpenter
struct_a
s
signment:
h
andle
p
ointers bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Da
n
C
a
r
penter
function_ho
o
ks:
h
ack around invalid input from the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
fu
n
ction_
h
o
oks: fi
x
the pr
e
vious range hooks fix
again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
f
low: s
e
t
->paren
t
f
or exp
r
ession state
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
he
l
per, unt
r
acked_
p
a
r
am
:
m
o
ve
t
h
e
int_s
t
ack to
s
m
atch_hel
p
er
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
ranges
:
fix
c
asti
n
g
t
o
b
o
o
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n
C
arpenter
flow:
set po
s
i
tion at the st
a
r
t o
f
t
h
e f
u
nction correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan C
a
rpe
n
t
e
r
function_hooks:
fix a typo in deb
u
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
impl
i
ed: tweak timeou
t
in
separate_and_fi
l
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n C
a
rpen
t
er
func
t
ion_hooks: fix a type issue (affects ranged
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
arpente
r
func
t
ion_hooks: fix db a
n
d ranged_functions integ
r
ation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
D
a
n
C
arpenter
db/k
e
rnel
.
r
e
t
urn_fixes: hack aro
u
n
d down_interrupti
b
l
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
db/ker
n
el
.
retur
n
_
f
ixes: add scnprintf()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan
C
a
r
pen
t
er
fun
c
t
ion_hooks
:
fix
l
ocking
false
p
ositives when you
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Car
p
e
n
ter
extra: fix
memset()
h
andling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
implied: dele
t
e
unused
func
t
ion sm_st
a
te
_
i
n_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
p
t
r
l
ist
:
use aft
e
r
f
r
e
e in l
a
st_ptr
_
li
s
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n Carpenter
flow:
t
ype
i
s
s
ue handling
s
w
itch statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
Ca
r
penter
r
a
ng
e
s: fix type issue in remove_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
an Carpenter
conditions: silence valgri
n
d war
n
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-06
Dan Car
p
enter
flow: set final_pass if
w
e have to bail on a function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carp
e
n
t
e
r
extra: export get_other
_
name_
s
y
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
an Carpe
n
ter
i
m
possible: add is_impos
s
i
b
le_p
a
th()
t
o s
m
atch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
an
Car
p
enter
db
:
don
'
t crash
g
enerating S
Q
L f
o
r
i
nval
i
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra:
fix b
u
g
handling untracke
d
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan
Carpenter
str
u
ct_assi
g
n
ment
:
ign
o
r
e
certain typ
e
s of assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra:
deferences in fak
e
a
ss
i
gnments don't c
o
u
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Da
n
Carpenter
extra: h
a
ndle fake assignments
f
aste
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan
C
arpente
r
implied: improve overwrite_states_using_pool(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan
C
a
r
penter
implied: add a comment explaini
n
g how implica
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
D
an C
a
rpenter
function_
h
ooks: check PARAM_LIMIT
i
mplica
t
i
o
n
s all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-31
Dan Carpenter
funct
i
on_hooks
:
inte
g
r
ate
ca
l
l_i
m
p
l
ies hooks with
t
he db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
s
list: man
g
le th
e
l
i
n
e numbe
r
of merged states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpe
n
ter
sizeof_param:
r
emove
r
ead_rom() from check
e
d f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
create_db: dele
t
e
some duplicate entrees
from function_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
rea
l
_abso
l
ute: don't sto
r
e whole rang
e
s
f
or no reason
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
an Ca
r
p
e
nter
struct_assignment: pull
s
p
l
it_fake_expr() int
o
its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpenter
db: limi
t
the
am
o
unt of
data in type_value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
penter
extra: handl
e
if (
I
S_ERR(foo[bar])) {
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
db: introduce
g
et_param_name_var_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
pe
n
ter
implied: handle
chunks in switch statements like switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
ex
t
ra:
d
on't mark all arrays as dereferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carpenter
helper: create an a
l
loc_s
t
ate_e
x
pr() helper functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
pent
e
r
w
hitespace: re
m
ove
s
om
e
b
lank line
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
an Carpent
e
r
extra: r
e
move
u
n
used
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
locking: add
m
o
r
e
impossible handli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
pent
e
r
db: re
m
ove some e
x
tra semi-
c
olons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpen
t
er
ra
n
ges: remove
a
n unne
e
d
e
d
initializer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpente
r
returns:
p
rovide a split out list of all the
r
e
tur
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
penter
returns: a
d
d ge
t
_
a
ll_returns_s
t
ates() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
n
t
er
mov
e
fr
e
e
i
ng
to A
F
TER_FUNC_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpenter
db
:
constify some point
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
ter
ext
r
a: add m
i
ssing include
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arp
e
nter
extra: do
n
't overwri
t
e non-null poin
t
e
r
s
b
eca
u
se of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Car
p
enter
extra: fi
x
handl
i
ng of "if (foo & 0
x
32
1
0) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
Dan Carpenter
pa
r
am_set:
intr
o
d
u
ce param_was_set_
v
ar_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
im
p
o
s
sible: handle switch st
a
tements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
impossible:
d
on't
overwri
t
e the impos
s
i
ble state
b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
i
m
plied: handle implicati
o
ns
f
or if (({whatever; foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
D
an
Carpenter
slist: create is_leaf()
f
unction which
i
s the
opposite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
Dan C
a
rpenter
ranges: use si
g
ned
t
ype f
o
r n
e
gative ints less tha
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Da
n
Carp
e
nt
e
r
d
b
/kernel
.
r
eturn_fixes re
g
map_bul
k
_r
e
a
d() r
e
tu
r
ns
nega
t
ive
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan
Carpenter
ranges: fix a bug
in
rl_in
v
ert()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpen
t
er
sval, t
y
pe: make so
m
e functions inli
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpent
e
r
implied: fix
a
n old i
m
p
l
ication b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
im
p
lied:
r
emove unuse
d
add
_
pool() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Ca
r
penter
implied: pa
s
s sm_states instead of pools
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Da
n
C
a
rpenter
implied
:
fix
a
t
y
pe bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan C
a
rpen
t
er
im
p
lied: update some debug ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
D
an
C
arpent
e
r
i
m
plie
d
:
c
reate fake implicatio
n
history
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan
C
a
r
penter
states: tweak debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
D
a
n C
a
r
p
enter
states: print de
b
u
g
o
u
tput in __set
_
true_false_
s
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Da
n
Carpenter
implied:
o
v
e
rwrite smatch_extra using implied
s
t
a
t
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next