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
bits: move is_loop_iterator() earlier
2020-05-06
Dan Carpenter
bits: move is_
l
oop_iterator() ear
l
ier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpent
e
r
kernel:
p
reserve
the sm state when han
d
l
in
g
IS_ERR()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpenter
ker
n
e
l
: fix a type bug
hand
l
ing e
r
r_
c
ast()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpenter
kernel: add support fo
r
closure_
c
all()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
Dan Ca
r
pente
r
buf_siz
e
: check pointer size
e
arlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
Dan Car
p
enter
buf_size: fix handling of unknown f
l
exible array sizes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpent
e
r
buf_
s
ize: igno
r
e zero retur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpe
n
ter
extra: fix c
o
m
p
ile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
Dan Ca
r
p
ente
r
extra: dele
t
e some dead
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpenter
build_kerne
l
_
d
ata
.
sh: print a mess
a
ge after
the ker
n
el
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpenter
db
/
ke
r
nel
.
re
t
u
r
n
_fixes: ww_mutex_lock() c
a
n
'
t retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-05
Dan
Carpenter
capp
e
d
: handle & and % slightly differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Da
n
Carpenter
db
/
ret
u
rn_sta
t
es:
f
ix
call_id type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
D
an Ca
r
penter
d
b/create_db
.
sh: silence warning when -p o
p
tion
is
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Car
p
enter
mark_functi
o
n_ptrs_sear
c
h
able: mar
k
more funct
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan C
a
rpenter
c
ontainer_of: fix
i
mporting the
mtag data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpenter
estate: check
h
ard m
a
x in
e
states_
e
q
u
iv(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Ca
r
p
enter
estate
:
add a -
>
new f
l
ag t
o
track new states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan
Carp
e
n
ter
h
elpe
r
: ex
p
o
r
t get_arra
y
_expressi
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
D
an Carp
e
nter
implied: f
i
x parsing
f
or
P
ARAM_LIMIT i
m
plications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpenter
i
m
p
lied: non-merged stat
e
s
h
ave no implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Da
n
Carpenter
type: imp
r
ove get_memb
e
r_type_from_ke
y
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carp
e
nter
t
y
pe_val:
i
gnore "idr_find"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Da
n
Carpente
r
imp
l
ied
:
turn on debu
g
_
implied when regular debug is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
D
a
n Carpenter
err_
p
tr:
delete dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpent
e
r
struct_assignment:
strip paren
t
heses ri
g
ht
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpe
n
te
r
a
tomic_inc_dec: push lat
e
st co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-04-07
D
an Carp
e
nt
e
r
real_absol
u
te: u
p
date re
a
l absolut
e
for faked f
r
esh
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan
C
arpenter
type:
c
rea
t
e t
y
pe_fits()
func
t
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan
C
arpent
e
r
d
b
/kernel
.
return_fixes:
m
isc updates (loc
k
ing mostly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan C
a
r
p
enter
states: add a way to watch
o
t
her
checks set states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpent
e
r
debug: print a sp
e
cial warni
n
g fo
r
user_rl without
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpenter
fresh_alloc: some thin
g
s are not f
r
es
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan Ca
r
penter
hel
p
er: don't ca
c
he T
m
p
e
x
p
ressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan C
a
rpenter
expressi
o
ns:
R
e
name "Fa
k
e
"
to "Tmp
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
D
a
n Carpenter
mat
h
: fun
c
tions
c
an retur
n
fuzzy rang
e
lists
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpenter
return_t
o
_param: remov
e
unus
e
d d
e
clarat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpente
r
scri
p
ts/su
m
mar
i
ze_errs
.
sh: white
s
pace fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
D
a
n Carp
e
nter
to
k
enize: export allo
c
_ident()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpenter
a
llocating_en
o
u
gh_da
t
a
:
c
larify e
r
ro
r
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Da
n
Carp
e
nter
s
t
ruct_a
s
signment
:
Fix
(*$)->
f
oo
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpente
r
validation: update imp
o
ssible
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpe
n
ter
s
hift
_
to_zero: silence some
false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Da
n
Car
p
e
n
ter
mtag:
d
on't double
reco
r
d mtag data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Car
p
enter
s
m
d
b: add
s
o
m
e
more ty
p
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Da
n
Carp
e
nter
s
l
ist
:
add some
d
ebug c
o
de to warn about missing set_dy
n
amic
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan C
a
r
penter
h
elper: re
m
ove no_paren
s
parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
D
an Ca
r
penter
implied
/
comparison
:
del
e
te unknown
i
mplications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpent
e
r
he
l
per: return mo
r
e s
p
e
c
i
fic er
r
or codes in
g
et_param_num_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpen
t
er
funct
i
on_hooks/mtag: set mtag re
t
urns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan
C
a
rpenter
helper: small white space cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpent
e
r
m
tag: save the
m
tag al
l
ocator
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Car
p
enter
db: add support for (*$)->foo = 1;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpen
t
er
db: make mtag_about entries unique
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpenter
db: add mtag_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpen
t
er
m
tag_map: re-arran
g
e
conta
i
ner map
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpe
n
ter
type: export is_struc
t
_ptr
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan C
a
rpenter
db: don't bot
h
er splitting error paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan
C
arpenter
db: store the
funct
i
o
n mtag in the call_id space
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carp
e
nter
db: don'
t
sp
l
it negatives
using null/non_null
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpenter
d
b
: add a new callba
c
k for in
s
erting stuff into caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpenter
function_ptrs:
d
el
e
t
e a stra
y
s
pace char
a
ct
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpente
r
estate: pointers
don
'
t ha
v
e
hard maxes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
D
an Carpe
n
ter
mtag_data:
ignore b
o
ot_para
m
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan
C
a
r
pe
n
t
e
r
mtag_d
a
t
a
:
ignore head->next
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
D
a
n Car
p
e
n
t
er
helper:
p
r
i
n
t
EXPR_SELECT and EXPR_CONDI
T
ION
with expr_t
o
_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpe
n
ter
m
tag_
m
ap:
add a tag_offset field
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpente
r
fre
s
h
_al
l
oc: NULL is not
a fr
e
s
h a
l
l
o
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan
Carpenter
deb
u
g: move __p
r
int_states()
t
o smatch_states
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpenter
math: han
d
le un
k
n
o
wn ma
x
imums in subtract ope
r
at
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Da
n
Carpenter
f
low: cal
l
A
S
SIGNMENT_HOOK_
A
FTER for compli
c
ated
ass
i
gnm
e
nt
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-28
Dan Ca
r
pe
n
ter
mtag: update swap_mtag_retu
r
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
D
an Carpent
e
r
fre
s
h_alloc: mark used dat
a
as u
n
f
resh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
Dan
Ca
r
penter
fresh_alloc:
export is_fresh_
a
lloc() and is_fresh_al
l
oc_var_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
Dan Carpenter
fresh_alloc: NULL poin
t
ers are not fresh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
Dan Carpenter
mtag: export str_to
_
mtag()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
Dan
Car
p
enter
type: impro
v
e debug output for NULL ty
p
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
Da
n
Ca
r
penter
slist: fix __pri
n
t
_
stre
e
(
)
d
e
b
u
g output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
John Levon
p
r
e
de
f
ine "i386" if needed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
Tooma
s
Soome
co
r
rect sparcv9 define
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
J
o
h
n
Levon
pre-
d
efine __
u
nix__
a
nd f
r
iends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
John Levon
add nece
s
sary de
f
ine
d
fo
r
s
u
nos-deri
v
ed
s
ystems
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
John Levon
define __PRAGM
A
_REDEFIN
E
_
EXTNAME
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
Luc Va
n
Oostenryck
add predefine_nostd()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
L
u
c
Van Oostenr
y
ck
a
l
t defi
n
ition for
S
TAN
D
A
R
D_GNU89 & frien
d
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
Luc V
a
n Oostenryck
all
o
w to test the
standard version outside o
f
lib
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
Luc
V
an Oostenry
c
k
a
rch: a
d
d missing predefines: __amd64
&
_
_
a
m
d
64__
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-22
Dan Carpen
t
e
r
db: del
e
te more dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-22
D
a
n Carp
e
nter
db: re
m
ove DB remove some
d
ead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-14
D
a
n C
a
rpente
r
f
r
es
h
_alloc: fix compiling (missing chunk of c
o
mmit)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-10
Dan Carpenter
container: improve how assignment
s
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-09
D
a
n Carpe
n
ter
lock
i
ng: w
a
r
n
when there i
s
a missing
i
rq_restore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-09
Dan Carpen
t
er
validation: updat
e
lock
i
ng val
i
d
at
i
on tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-08
D
a
n Carpen
t
er
lo
c
king: remove wine lockin
g
che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-06
Dan Carp
e
nter
fre
s
h
_a
l
loc: track wh
i
c
h all
o
c
a
t
i
ons are fresh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-06
John Levon
d
i
s
able warning about long do
u
ble in unions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-06
John L
e
von
Correct
FP minim
u
m
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-06
Dan Carpente
r
math/r
a
nges
/
hel
p
er
:
improve floating p
o
int support
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-06
Dan
C
arpe
n
t
er
smatch
.
h: add the dec
l
aration
to sm_to_arg_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
Dan
Carpente
r
helper: i
n
trod
u
c
e
get_param_sym
_
fr
o
m_n
u
m()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next