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
extra: set hard max if a function is called with a single value
2017-03-15
Dan Carpenter
e
x
tr
a
:
s
e
t hard max if a function is
c
alled wit
h
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n C
a
rpe
n
ter
ex
t
r
a
: f
i
x handling o
f
k
n
own conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
par
a
m_limit: don't se
t
some unchanged limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
db: prevent slow downs
s
p
litti
n
g returns apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: set parse_erro
r
if th
e
S
Q
L
fails
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpen
t
er
param_set: handle if th
e
parent
was
s
et
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
D
an Car
p
enter
buf
_
si
z
e
:
f
ix type_
b
ytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpent
e
r
db: filte
r
poin
t
er calls
by function
s
ignatu
r
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arp
e
n
ter
implied: rever
t
"tin
y
speed u
p
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
ass
i
gn_vs_
c
o
m
pare
:
warn
a
b
o
u
t
"if (foo
= &bar) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
r
penter
t
y
p
e
: fix type_bits() for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpente
r
shift_to_zero: do a small clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nte
r
smatch
.
c:
re
m
ove a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
db: split ret
u
rn states
by
n
ull vs non-null parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
extra: fil
t
er PARAM_VALUE
s
with both extra and real_absolute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
p
enter
math:
han
d
le
-foo
b
e
t
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
a
rpen
t
er
hel
p
e
r
: introduce get struct a
n
d membe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implied: tiny speed
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
a
r
p
en
t
er
implied:
sm
a
ll cle
a
nup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
r
pe
n
t
er
ra
n
ges
:
handle bitw
i
se AND operat
i
o
ns bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nter
r
eal_absolute:
introduce get_r
e
al_ab
s
o
lu
t
e_
v
ar_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
a
vl: a
d
d a
s
hort cut fo
r
when
th
e
re are no states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpenter
type_val: h
a
ndle |= type assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-23
Da
n
Carpent
e
r
db: rename "functio
n
_type_info" table to "func
t
ion_type"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carpenter
user_da
t
a2: if a
user_data is equ
a
l to non
-
user
d
ata
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
pre-pro
c
e
ss:
t
ry find any in
c
lude t
h
a
t
loo
k
s lik
e
it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
compariso
n
: r
e
m
ove some
local_
d
ebug information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
r
p
ent
e
r
db/fixup_kernel
.
sh:
write to
t
he
t
emporary
DB
i
nstead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n
Carpenter
extra: f
i
x
type i
s
s
ue h
a
ndling ++=
a
nd --= operati
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpenter
math: r
e
mov
e
uncommitted function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
math: fix han
d
l
i
ng
of si
z
eof() __l
e
16 types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carpenter
math: hand
l
e
real_
a
bsolute
variable
s
more accurately
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
real_absolute: ignore iterator pre statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
pent
e
r
h
e
l
p
er
:
In ex
p
r
_to_str() remove ext
r
a parenthes
i
s arou
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
db: i
n
troduc
e
sql
_
insert_data_
i
n
f
o_va
r
_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpente
r
db: u
s
e
"
extern
"
i
nste
a
d o
f
the file na
m
e for globals
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
C
arp
e
nter
sparse: introdu
c
e
p
ars
e
_error variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user_
d
ata2: h
a
ndle f
u
nctions that
me
r
el
y
retu
r
n pa
s
sed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan
Carpenter
hooks: intro
d
uce AS
S
I
GNMENT_H
O
OK_AFTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpen
t
er
db: give up handling
f
unction pointer
s
if t
h
ere are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Da
n
Carpenter
us
e
r
_
dat
a
2: remove some de
b
ug p
r
intfs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
D
a
n Carpenter
user_data2: don't s
e
t
t
he funct
i
on itsel
f
to user_d
a
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan
Carpenter
user_data2
:
im
p
rove handling when we return user data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-17
Dan Carp
e
nter
func
t
ion_h
o
oks: don
'
t mark it as impossible
i
f a function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-14
Dan Carpenter
comparison: mo
d
ify
t
he links at at start of an assignmen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-13
Dan Carpenter
db: c
l
eanu
p
get_row_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan
Carpenter
imp
l
ied: rename a function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpent
e
r
est
a
te: add an estate_is_empty() func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan C
a
rpen
t
er
d
b
/kernel
.
no_inline: don't parse the bite swap
functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
Carpenter
kernel: parse A
T
OM
I
C_SET() m
a
nual
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/
k
ernel
.
r
e
turn_fixes: add some m
o
re fix
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/fixup_k
e
rnel
.
sh: handle _
_
kernel_write
(
)
a bit better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan C
a
rpente
r
vim_db:
h
andle ol
d
e
r
versions of vi
m
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n Carpenter
db/fixup_kernel: handl
e
__buil
t
in_bswap
6
4(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Ca
r
p
e
nter
function_hooks
:
change ord
e
r of
how db verse im
p
lied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Da
n
Carpenter
param_limit: d
o
n't insert e
m
p
t
y states into
the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Da
n
Carpen
t
er
rang
e
s: use a ha
c
k
a
round so when
merging
r
ange
s
of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Da
n
C
a
rpen
t
er
t
ype_val: fix
a
memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpen
t
e
r
function_hooks, db: ha
n
dle
PARAM_LIMIT for struct memb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan
Carpenter
i
m
plied: fix a bug ha
n
dling parame
t
er implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan
C
arpenter
implied: a
d
d
more
debug informa
t
io
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-05
Dan Carpente
r
db: sort
r
e
turn_state
s
by file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan
Ca
r
penter
flo
w
: ti
n
y cleanup handli
n
g
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flow: remove an
u
nneeded condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
D
a
n Carpenter
flow:
r
ename a
v
ariabl
e
"tm
p
" -> "right
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-15
D
an Carpente
r
kernel
.
ign
o
r
e
d
_macros: add LASSER
T
()
f
rom lustre
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan Car
p
en
t
e
r
function_hooks, db: use INTERNAL
a
s
the marke
r
fo
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Da
n
Carpenter
d
b: handle
f
un
c
t
i
on
p
ointers b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
Ra
s
mu
s
Villemoes
check_kernel_printf
.
c:
%
p
j
ende
d
up bein
g
%pG
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus
V
illemoes
check_ker
n
el_pr
i
n
tf
.
c: handle new definition
of
K
ERN_CONT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Vil
l
e
m
oes
check_kernel_p
r
intf: c
h
eck
tha
t
%pg ge
t
s a
b
lock
_
device
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan C
a
rpenter
user
_
data2: m
a
th:
fu
n
ction
c
alls should be
handled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
D
an C
a
rpenter
math: fix a type i
s
sue with MOD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-28
Dan Carpente
r
un
t
r
acked_param: functi
o
n
s
that are
too hairy are un
t
r
ackabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
D
a
n
Carp
e
nter
address
:
sim
p
lify is_non_
n
ull_ar
r
ay()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan
C
ar
p
enter
type_
v
al:
u
se the correct t
y
pe in get_db_ty
p
e
_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
implied: fix a b
u
g w
i
th bo
r
rowed implicat
i
on
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Car
p
e
n
ter
f
l
ow
:
handled declared
l
abels be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Da
n
Carp
e
nt
e
r
rang
e
s: read u64
m
ax
c
orrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan
C
a
rpent
e
r
smatch: remo
v
e tests to see if an a
r
ray is NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n
C
arpenter
extra: handle "if (a + b
< a) { "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpe
n
ter
slist: Silence a smatch warni
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
debug: add the __smatch_absolute() hoo
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n
C
arpenter
buf_
s
iz
e
:
U
sing plain integer
as NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpe
n
ter
db: Using plain intege
r
as NULL po
i
nter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Da
n
Carp
e
nter
as
t
-
m
odel: Using p
l
a
i
n in
t
eger as NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
C
arpenter
debug: add a __
s
matc
h
_
a
b
solute
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carp
e
nter
use
r
_data: short circuit a
b
unch of code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
dma_mapping_err
o
r: add
pci_d
m
a_mapp
i
ng_err
o
r() to this
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carp
e
nter
continue_
v
s
_
break:
add
i
t checklist
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
s
match
_
address: don'
t
crash on i
n
val
i
d
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
er
*new* continue_vs_break: c
o
mplain if
continue is
u
s
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smat
c
h
.
h:
r
ese
r
ve
so
m
e db types for lat
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpenter
smatch
.
h:
s
huffle som
e
declarat
i
ons around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
ente
r
smatch
.
h:
s
ilence a compile
warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
capp
e
d: set
i
t to uncapp
e
d if
it's mo
d
ifie
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rp
e
nter
d
b
/
fixup_
k
ernel
.
sh
:
wo
r
k a
r
ound for __t
o
_fd()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpenter
db
/
f
i
xup_ke
r
nel
.
sh:
w
ork around for gfs2_ea
_
find()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
penter
db
/
kernel
.
retu
r
n_f
i
xes: specify som
e
fun
c
tio
n
s tha
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
implied: add more info
r
m
a
t
ion to the debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next