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
pre-process: make -nostdinc work again
2016-07-01
Da
n
Carpenter
pre-p
r
oc
e
ss
:
m
a
k
e -nostdinc wor
k
a
g
ain
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
an C
a
rpent
e
r
check_wi
n
e: make report(R_FATAL,
.
.
.
) a
nullify the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
v
a
l
i
d
ation/sm
_
WtoA
:
add
s
ing
l
e
quotes in output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n Car
p
enter
sma
t
ch_scripts: upda
t
e the gen_* s
c
ripts to take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
an Carp
e
nter
parse: ignore
_
Pragma()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
enter
sm
a
tch
_
d
ata
/
w
i
n
e
.
ignored_macros: add ok()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
s
m
a
t
c
h
_
d
a
ta/wine
.
no_
r
e
turn_
f
u
ncs: u
p
dat
e
t
h
e
list
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n
Carpenter
sparse: add /usr/include/x
8
6
_
64-linux-gnu/ include
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
w
i
ne_WtoA: add singled quotes in th
e
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-25
Dan Carp
e
nter
db: remove P
R
AG
M
A synchronous =
O
FF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan
C
ar
p
enter
avl: make get_stree_i
d
(
)
r
eturn -1 if the stree pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
implied: handle ->i
m
pl
i
ed states dif
f
er
e
ntly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Da
n
Carpent
e
r
slist, implied: preserve
the
e
ntire cur_
s
tree in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carp
e
nter
implied: fix
a
bug wh
e
re we imply the w
r
ong thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpente
r
implied: remo
v
e an
i
nde
n
t level
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n
C
a
rpenter
i
mplied: cha
n
ge
d
eb
u
g
out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-17
Da
n
Carp
e
nter
extra: ignore truncated li
m
its
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
a
n Carpenter
flow: handle asm goto
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Car
p
enter
db:
split on boolean par
a
meter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
struct_
a
ssignm
e
nt: h
a
ndle point
e
rs
b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
function
_
hooks: hack around
i
n
vali
d
i
nput from the
DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
arpe
n
ter
function_hooks: fix the
previous ra
n
ge hooks f
i
x again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Ca
r
penter
flow: set ->parent for expression statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
helper, untra
c
ked_para
m
:
m
ov
e
the i
n
t_sta
c
k to smatch_help
e
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
Ca
r
penter
ranges: fix cast
i
ng to bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
D
an Carpenter
flo
w
: set position at
the start
of the function
correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpente
r
f
unction_ho
o
k
s: fix a t
y
p
o
i
n debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
imp
l
ied: twe
a
k
t
i
meou
t
in separate
_
and_filt
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
function
_
hooks: fix a type i
s
s
u
e (affects r
a
nged function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpent
e
r
function_hooks: fix db and ranged_function
s
int
e
gratio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpent
e
r
db/kernel
.
r
e
turn_fixes: hack ar
o
und down_interr
u
ptible()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan
C
a
rpenter
db/kernel
.
return_fixes: add scnprintf()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpen
t
e
r
function
_
hooks: fix lo
c
king fal
s
e p
o
si
t
ives when you
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
D
a
n Carpenter
extra: fix memset() hand
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpent
e
r
implied
:
del
e
te
unused function sm_state_
i
n_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan
Carpenter
ptrlist: use af
t
er
f
ree in las
t
_ptr_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan
C
a
rpenter
f
l
ow:
t
y
pe issue handling s
w
itch statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
an C
a
rpenter
range
s
:
fix type is
s
ue
i
n remov
e
_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Car
p
enter
conditions
:
silence v
a
l
g
rind
w
arning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carpenter
fl
o
w: s
e
t f
i
nal_pass if we have to bail
o
n a
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arp
e
nter
extr
a
: export
get_other_n
a
m
e_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Ca
r
pe
n
ter
impossible: add
is_imposs
i
ble_pa
t
h() to
smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan C
a
r
penter
db
:
don't crash generating
SQL for invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra: fix
bug
handling
u
n
tracked p
o
inters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arpenter
struct_assignment:
ig
n
ore certain
t
ypes of assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpente
r
extra: def
e
rence
s
in fake assignm
e
nts don't count
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
e
x
t
ra
:
handle fake assi
g
nments faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpente
r
implied:
i
mprov
e
o
v
erwrite_states_usi
n
g_po
o
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan
C
ar
p
ent
e
r
imp
l
i
e
d
:
add
a comment e
x
p
l
ai
n
ing ho
w
implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
D
a
n C
a
rpente
r
function_ho
o
ks: ch
e
ck
P
ARAM_LIMI
T
implications all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-31
Dan C
a
rp
e
nter
function_hooks: in
t
egrat
e
call_implies h
o
o
k
s wit
h
the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
penter
slist: mangle the line numb
e
r of
m
erged states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
C
arpe
n
ter
sizeof_p
a
ram: remove read
_
rom
(
) from c
h
ecked func
t
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Ca
r
penter
create_d
b
:
d
ele
t
e
s
ome duplicate entrees fr
o
m f
u
nctio
n
_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpent
e
r
real_absolute: do
n
't stor
e
whole ranges for no reason
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpenter
str
u
ct_assi
g
nment: pull split
_
fake_exp
r
() into
i
ts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpenter
db: lim
i
t the
a
mount of
data in
ty
p
e_value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
extra: handle if (IS_ERR(foo[b
a
r])) {
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpent
e
r
db: introduce get_param_name_
v
ar_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpenter
i
mpl
i
e
d
: ha
n
d
l
e chunks in swit
c
h
s
t
atem
e
nts like
switc
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
C
a
rpe
n
ter
extra: do
n
't m
a
rk all arrays as der
e
f
e
renced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpent
e
r
hel
p
er: cr
e
ate an allo
c
_state_expr() helper func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carpenter
whitespace: r
e
m
o
ve som
e
blank lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
penter
extra: remo
v
e unused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
lock
i
ng: add
m
ore imp
o
ssibl
e
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
r
penter
db: rem
o
v
e s
o
me ext
r
a semi-c
o
lons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
an Ca
r
penter
ranges: r
e
m
o
ve an unn
e
eded init
i
a
l
izer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carpenter
return
s
: provi
d
e a
split
out
l
ist of all the
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
rpente
r
r
eturns: add get_all_returns_states() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpente
r
m
ov
e
freeing t
o
AFTER_F
U
N
C
_HOO
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
C
a
rpen
t
er
d
b:
constify some pointe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arp
e
nter
e
x
tra: add miss
i
ng
i
nclud
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
p
enter
extra: do
n
't
overwrite
non-null p
o
inters becau
s
e
of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extra: fix handling of "if (fo
o
& 0x3210
)
{"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
Dan Carpent
e
r
param
_
set
:
introduc
e
param_was_set_var_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
D
a
n
C
arpente
r
imp
o
ssible: ha
n
dle
sw
i
tch sta
t
ement
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
D
a
n Carpenter
impossible: do
n
't ove
r
write the imposs
i
ble state by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Ca
r
pent
e
r
imp
l
ied: h
a
ndle impl
i
cation
s
for if (({whatever; foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
Dan Carpent
e
r
s
list: create
i
s
_leaf(
)
f
u
ncti
o
n w
h
i
ch
is
t
h
e
opposite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
Dan Car
p
enter
r
anges: use s
i
gne
d
ty
p
e
for nega
t
ive ints
less than
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
db/kernel
.
r
eturn_fixes reg
m
a
p
_bu
l
k
_read() ret
u
rns
negatives
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpe
n
t
e
r
r
anges: fix a bug
in rl_invert()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpe
n
ter
sv
a
l, type:
m
ake some functions inline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carp
e
nter
implie
d
:
fix an old implication bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Ca
r
p
ente
r
implied: re
m
ove unused add_pool() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan C
a
rp
e
nter
implied:
p
ass sm_states instead of pools
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
implied:
fi
x
a
type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
D
a
n Carpenter
implied: up
d
ate
s
ome de
b
ug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
implied: c
r
eate fak
e
implicatio
n
history
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
s
t
at
e
s: t
w
ea
k
debug
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan
Carpen
t
er
states:
p
r
int deb
u
g
o
utput
i
n
_
_set
_
true_fa
l
s
e
_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carp
e
nt
e
r
implied: over
w
rite sma
t
ch
_
extra
using im
p
lied state
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n
Carpen
t
er
ranges, extra: move and
e
x
port split_co
m
parison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
ar
p
ente
r
slist: remove unused __set_true_false_if_n
o
t_already_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpenter
db: make a file ke
r
ne
l
.
return_
f
ixes f
o
r updating return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Ca
r
penter
flow: mer
g
e multiple
c
a
se statements
i
n
a
r
o
w together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Ca
r
pen
t
er
he
l
per:
use
.
i
n
stead of -> f
o
r more variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carp
e
nt
e
r
param_set: r
e
move an unnneeded
variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
extra:
p
++
s
ho
u
ld clear the st
a
tes fo
r
*p or p->foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpe
n
ter
math
:
handle __bui
l
tin_types_compatible_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next