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
user_data2: if users can only specify a single value that's not a user rl
2017-05-08
Dan Carpenter
u
s
e
r_
d
ata2: if users c
a
n
only s
p
ecify a s
i
ngle value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
extra: use
l
on
g
t
o
short mappings for PARAM_LIMI
T
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
us
e
r_d
a
ta2: handl
e
"if (
u
n
t
rust
e
d != truste
d
) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carp
e
n
t
er
buf_comparison: clear array <-> size links bette
r
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
bu
f
_
c
om
p
arison: record
i
f
we
p
ass an ARRAY_
S
IZE to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
r
eturn_to_param (m
a
ppings):
map regular assignments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
us
e
r_data2: handle inlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpe
n
ter
math: prefer
rea
l
ab
s
olutes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
modi
f
i
c
ation_hooks: use
l
ong to short mappin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpente
r
return_to_param:
handle "retu
r
n get_foo(b
a
r);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
exp
r
ession: fix expr_get
_
parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
f
u
n
c
tio
n
_hooks: on
l
y add compariso
n
s when needed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan
C
a
rpenter
flow: fix s
o
me pa
r
ent transition fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan C
a
rpenter
flow: set pare
n
t s
t
atements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan
Carpenter
core: add
e
xpr_get/
s
et_par
e
nt_stm
t
()
accessor
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan C
a
r
p
e
n
ter
flow: c
r
e
ate an accessor met
h
od expr
_
get_parent_
e
xpr(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
fl
o
w: r
e
name set_parent_s
t
mt() =>
stmt_set_parent_
s
tmt(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpen
t
e
r
flow:
rename set_parent_expr() => expr_set_
p
arent_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
Dan Carpenter
ret
u
rn_to_pa
r
a
m: Use the DB retu
r
n strings like "[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb
.
py: translate more parameter names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
D
an C
a
rpenter
smdb
.
py:
gu
e
ss t
h
e p
a
ram
e
ter names
even if the
f
ile
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan
C
a
rpenter
smdb:
d
o
n
't crash if the para
m
eter names aren'
t
known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Da
n
Ca
r
penter
flow: f
i
x fake env
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpe
n
te
r
balanc
e
d:
delete thi
s
ch
e
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
D
a
n Carpenter
fl
o
w: add init_fake
_
env()/
e
nd_
f
ak
e
_env(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
stored_condi
t
ion
s
:
s
tore as expression po
i
nters instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Ca
r
penter
flow, db:
f
ix how inline function assignments
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Da
n
Carpenter
flow: remove
s
ome buggy unused
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carp
e
nter
flow: fix initializatio
n
of nested struc
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan C
a
r
penter
db: bu
i
ld an
index on the parameter names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
an Carp
e
nter
math:
i
mprove MOD handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
arpente
r
parameter_names:
s
t
ore parameter names i
n
the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
nter
smd
b
.
py: reformat ca
l
l_in
f
o outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Car
p
enter
M
akefile: use
q
u
iet link to link sma
t
c
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carpenter
states
:
fix handli
n
g switches inside condition
s
(fake
_
c
u
r_stree)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n
Carp
e
nter
stat
e
s: split upd
a
t
e
_fake_stree_with_merged(
)
and add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
nter
type_v
a
l: s
m
al
l
t
w
e
ak for
a
rrays and
c
omplicated lvalues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n C
a
r
p
enter
e
xtra
:
handl
e
i
n
direc
t
i
on
like
"
p
= &foo;
*p = 42;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
D
a
n
Carpenter
extra: handle M
O
D c
o
n
d
i
t
i
ons l
i
ke "if (a % 4) {
"
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
modificatio
n
_hooks: remove unused in
d
irect modificati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
Dan Carpen
t
e
r
vali
d
a
t
i
o
n/sk
b
3
: d
e
lete some ac
c
i
dental de
b
ug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Ca
r
p
ente
r
use
r
_data2: don't se
t
parameters to u
s
er_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n Ca
r
penter
user_data2: ha
n
dl
e
skb->da
t
a math
a
litt
l
e better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpen
t
er
u
se
r
_data2: r
e
-
wor
k
handling of
s
k
b
->dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
parse_call_math: work arou
n
d for
l
oops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpe
n
ter
leak
s
:
d
on't complain if we overwrite
NULL point
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
f
r
ee:
ignore im
p
ossible code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpente
r
shift_t
o
_zero: make the err
o
r message
m
o
re informative
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
t
e
s
t
_bit: add test_an
d
_clear_bit
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
a
r
penter
s
m
db
.
p
y
:
p
r
int th
e
return_
i
mpl
i
es
v
alue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpenter
db/fixup_
k
e
r
nel
.
sh: igno
r
e do_loop_
r
eadv_write
v
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
C
a
rpenter
extra: set
h
ard max if a
func
t
ion is cal
l
ed with a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
extr
a
: fix han
d
ling of known condi
t
i
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
param_limit:
d
on't s
e
t some
u
nchanged limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
e
nter
db: pr
e
vent
s
low
dow
n
s splitt
i
ng
r
etu
r
ns apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
d
b
: set parse_err
o
r if the
SQL fails
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Dan C
a
r
penter
para
m
_set: h
a
ndle i
f
the parent was s
e
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpente
r
bu
f
_size: fi
x
type
_
by
t
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
d
b: filter pointer calls by function
s
ignatures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpente
r
implie
d
: re
v
e
r
t "
t
iny speed up"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arp
e
nter
as
s
i
g
n
_
vs_c
o
mpare: warn
a
bou
t
"if (fo
o
=
&
bar) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
ty
p
e: fix type_bits() for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
e
r
shift_t
o
_ze
r
o: do a
small
clean u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carpenter
smat
c
h
.
c: remo
v
e a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
db: sp
l
it
return st
a
tes by null vs n
o
n-nu
l
l parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
extra: filter PARAM_VALUEs with both
e
x
tra and real
_
absolute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
ma
t
h: ha
n
dle -
f
oo better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
ar
p
ente
r
helpe
r
: introduce get s
t
ruct and memb
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Car
p
enter
implie
d
: tiny speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Car
p
en
t
er
implied
:
small
cleanu
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
enter
r
a
nges: han
d
le bitwise AND oper
a
tions bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpente
r
real_a
b
sol
u
t
e
:
in
t
r
o
d
uce get
_
real_absolute_var_
s
ym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
av
l
:
a
dd a shor
t
c
u
t
for w
h
en there
are no
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rp
e
nt
e
r
type_val: handle
|= type a
s
s
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-23
Dan
Carpenter
db:
rena
m
e "functio
n
_t
y
pe_info" table to "function_type"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
u
s
er_data2: if a user_data is equal t
o
non-user data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Carpenter
p
re-pr
o
cess: try fin
d
any include that looks like it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpente
r
co
m
parison
:
rem
o
ve
so
m
e local_debug informatio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
d
b/f
i
xup_ker
n
e
l
.
sh: write to the temporary DB i
n
stea
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
ex
t
ra:
fi
x
t
y
p
e
issue hand
l
ing ++
=
a
n
d
--= operat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
mat
h
:
r
emove
u
nc
o
mmitted fun
c
tion call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Car
p
en
t
er
math: fix handling of sizeof() __le16
types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
C
arpenter
m
a
t
h
: handle real_absolute variables more ac
c
urately
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
real_absolute: ignore it
e
rator pre
state
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
C
a
rpenter
helper: In ex
p
r_t
o
_
s
tr(
)
remove extr
a
par
e
n
t
hesis around
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
db: i
n
t
r
oduce sql_insert_d
a
ta
_
info_var_
s
ym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpenter
db: use
"exte
r
n" instead of the fil
e
name for global
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
sparse: introduce par
s
e
_
error vari
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
penter
u
ser_data2: handle functions that merely
r
e
t
urn
p
assed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpenter
hoo
k
s:
i
ntr
o
duce ASSIGNMENT
_
HOOK_AFTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpen
t
er
db:
give up handl
i
ng
f
unction pointers
i
f
t
h
e
re are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_data2: remove some debug p
r
int
f
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_
d
ata2: do
n
't set the func
t
ion itself to user_dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
use
r
_data2: improve ha
n
dlin
g
when we return user
d
ata
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-17
Dan Carpent
e
r
functio
n
_hooks
:
do
n
't mark i
t
as impossible i
f
a function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-14
Dan Carpenter
compa
r
i
s
on:
modify the li
n
k
s
a
t at start of an assig
n
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-13
Dan Carpenter
d
b
: cleanup get_ro
w
_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
i
mplied:
rename a
funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
estate:
add
a
n estate_is_empty() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Car
p
en
t
er
db/ke
r
nel
.
no_in
l
ine: don't parse the b
i
t
e swap functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next