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
*new* check_test_bit: check for test_bit(BIT(0), &foo)
2015-05-13
Dan Car
p
e
n
ter
*new* check_t
e
st_
b
it: check for te
s
t_bit(BIT(0), &foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan
Carp
e
nter
type:
speed up get_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Da
n
Carpenter
ty
p
e: im
p
r
ove get_binop
_
type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
D
a
n Carpen
t
er
f
low:
add
a
new expr->parent struct membe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixup_kernel: hard code __spi_sync() returns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
f
i
xup_kernel:
km
a
lloc() can
allocat
e
m
ore da
t
a
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Drokin
check_
l
ocking
.
c
:
F
ix a
n
noying
i
nvisible read_unlock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Da
n
Carpenter
sma
t
ch_address:
sort pointers
into
different r
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
extra: remove
so
m
e unus
e
d
f
u
nc
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
D
a
n
Carpenter
smatc
h
.
h: a
d
d the c
o
mp
a
rison hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
D
an Carpe
n
ter
type_to_str: fix a crash
i
ng
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Firo Y
a
ng
sma
t
ch
.
h: add estate_g
e
t_single_
v
alue() declaration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Da
n
Carpenter
ignore_side_effects
:
ge
t
_child_rcu
(
) d
o
uble evaluates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Ca
r
penter
i
m
p
lied:
use compar
i
son inf
o
rma
t
ion f
o
r impli
c
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Da
n
Carpenter
smatch
.
h: move stree_stack declaration from smatch
_
slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpenter
rosenberg: add
_
_bu
i
lt
i
n
_
mem
s
et/memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
u
ser_da
t
a2: handle returned
str
u
c
t
members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
comparison: update a
c
omment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nte
r
s
mdb
.
p
y
: update to refle
c
t LIMIT/FILTER changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
C
a
rpenter
unwind
:
ad
d
some null c
h
ec
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
type: i
n
clude sm
a
tch_slist
.
h
t
o prevent a se
g
f
a
ult
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
e
x
tra: d
o
n't s
e
t states t
o
unk
n
own at
t
he beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
e
x
tr
a
:
d
on't set true fal
s
e
s
tates if t
h
ey are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpen
t
er
funct
i
on
_
hoo
k
s:
a
dd a hac
k
around in
c
ompa
r
e_db_return_state
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
list: add a comment about register_implicat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
pa
r
a
m_limit
:
handle struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
C
a
rpenter
states: white
s
pace
f
ix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
c
ondit
i
o
n
s: ign
o
re known/implied condi
t
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
stri
n
gs:
r
ecord str
i
ng assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
struct_assignment: save a
lot more informat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
param_
l
im
i
t/filter: fi
x
a
type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Silva
n
Jegen
d
b
: Avoid der
e
fer
e
ncing
null pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
Carpenter
comparison: handle canonical for loops wi
t
h variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Ca
r
penter
c
o
mparison: unsigned can not
be less than ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Car
p
enter
flow: set __cur_stmt and __prev_stmt
i
nside for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Ca
r
penter
compa
r
ison
:
me
r
ging equivalent st
a
t
e
s is not un
d
efined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
arpen
t
e
r
comparison: f
i
x an indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
function_
h
ooks: fix up d
b
_
compa
r
e_c
a
llback
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
funct
i
on_hooks, debug: pri
n
t
im
p
ossib
l
e returns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
ter
helper: don't stri
p
casting
in get_array_offset(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
link
s
:
e
xport me
r
ge_
l
ink_stat
e
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
helper: m
a
ke
e
xpr_to
_
str() print forced casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
n
t
er
type: m
a
ke type_to_
s
t
r
() return a sn
a
me(
)
buffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
mod
i
f
i
cation_hooks:
set a variab
l
e
as
modified
when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Ca
r
pente
r
user_
d
ata2: ta
g
it if a func
t
io
n
se
t
s par
a
met
e
rs
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carp
e
nter
sta
c
k: cleanup a funct
i
on
p
rot
o
type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
enter
deref_check:
i
gnore arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type: ma
k
e sval_type
_
max() default
to "lon
g
lon
g
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carp
e
nter
type: don't return SYM_NOD
E
t
y
pes from
get_real_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
side
_
effects: the iterat
e
_all
_
kinds() macro has
s
i
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
unreachable:
d
on't
c
o
m
plain about iterate_all_kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpenter
f
l
o
w: fix
"
foo += !bar;" assign
m
ent
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Ca
r
penter
lib:
h
andle -funsigned-char o
p
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
kernel
.
ign
o
re_side_effects: add some macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan C
a
rpenter
indent
i
n
g
: allow "brea
k
; case
XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
us
e
r_data2: mark sscanf() output a
s
user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
a
rpenter
math, rl: fix
handing division
i
nvolving neg
a
t
i
v
e
numbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Ca
r
penter
sval: fix sval_bino
p
_overflows(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n Carpenter
precedence
:
complain about "foo << bar - ba
z
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
flow: han
d
le struct
i
nitializat
i
on be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Da
n
Car
p
enter
estate: add a NULL check in estates_eq
u
iv()
commit
|
commitdiff
|
tree
2015-03-03
D
an Carpente
r
param_used: s
t
ore whe
n
a p
a
ram
e
ter
i
s us
e
d so
w
e don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
extra: ig
n
ore more __in_fake
_
assign d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpen
t
er
com
p
arison: fi
x
a c
r
ashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpen
t
er
type
:
add an expr_signed() function
t
hat
m
at
c
hes exp
r
_unsigned
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Car
p
e
n
ter
s
m
db
.
py:
a
d
d
functi
o
ns
t
o show f
u
nctions implementin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
e
x
t
ra: handle tempo
r
ary
shorthan
d
pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
dereferences_pa
r
am: l
o
o
k for pointers used as an a
r
ray
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n
Carpent
e
r
check_indent
i
ng: war
n
about mi
s
sing curly braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
para
m
_c
l
eare
d
: add a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
D
a
n
Carpenter
validat
i
on:
correct some outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Kos
k
inen
build:
a
llow use o
f
P
K
G_CONFIG to overr
i
de pkg
-
config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
Carpen
t
er
db: build indexes faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
arpenter
slist:
f
i
x compile breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
ker
n
e
l
_print
f
: silen
c
e so
m
e false positives using sm
a
tch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
arpen
t
er
strings: record
w
h
ich strings are
being used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
u
s
er_data2:
tu
r
n o
n
s
k
b->d
a
ta tagging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
C
arpe
n
ter
db
:
rename FI
L
TER_VA
L
UE,
L
I
M
I
T
E
D_V
A
LUE, a
n
d
ADDED_V
A
LUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
rpenter
kernel_printf:
s
ilence s
o
me
"s
t
ruct sockaddr " false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
type: a
d
d unions t
o
typ
e
_to_str(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan
Carpenter
type
_
v
a
l
ue: spe
e
d up loa
d
ing the
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
D
a
n
C
arpenter
*new* ret
u
rn_cast:
c
omplain ab
o
ut return -EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an
C
arpenter
format_string: delet
e
this
b
ecause check_kernel
_
printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpente
r
function_ho
o
ks
:
ad
d
som
e
debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
extra: cleanup db_param_
a
dd_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpente
r
extra: separate
PARAM_L
I
MIT and PARAM_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
funct
i
on_hooks:
don't take a shortcut for "
n
eedless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
h
elper:
intro
d
u
ce alloc_state_
s
tr(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
math
:
handle "i
f
(likely(
1
)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpent
e
r
math: fix
/
cleanup do_compariso
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
cap
p
e
d
:
don
'
t record singl
e
va
l
ues a
s
capped in th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
r
penter
d
b: ex
p
o
r
t
get
_
stat
i
c
_
filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
user_d
a
ta2: wr
o
ng
parame
t
er ta
g
g
ed as user dat
a
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Car
p
e
nt
e
r
ros
e
nb
e
rg: de
l
et
e
some code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an C
a
rpenter
rose
n
berg: s
t
rip away
some casting
(
eliminates
a
f
a
lse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
rosenberg: don'
t
save unnee
d
ed states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
buf_size: don
'
t
sa
v
e useles
s
i
n
fo
r
m
at
i
on in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
struct_
a
ssignment: ignore more fake a
s
sign
m
ent
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
s
l
i
s
t: fix d
e
bugging out
p
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpen
t
er
p
a
r
am_cle
a
r
ed,
r
osen
b
erg: add underscore
d
me
m
set/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next