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
db/fixup_kernel.sh: fix clear_user() handling
2020-05-12
John
Lev
o
n
Check for NULL stmt
i
n check_all_fu
n
c_r
e
turns
Signed-off-by:
John Levon
<john.levon@joyent.com>
commit
|
commitdiff
|
tree
2020-01-27
John
L
evon
pred
e
fine "i386"
if n
e
eded
Signed-off-by:
John Levon
<john.levon@joyent.com>
commit
|
commitdiff
|
tree
2020-01-27
Joh
n
L
e
von
pre-defin
e
_
_unix__ and frie
n
ds
Signed-off-by:
John Levon
<john.levon@joyent.com>
commit
|
commitdiff
|
tree
2020-01-27
John Levon
add ne
c
essary defined fo
r
s
unos-deriv
e
d
s
yste
m
s
Signed-off-by:
John Levon
<john.levon@joyent.com>
commit
|
commitdiff
|
tree
2020-01-27
Jo
h
n Le
v
on
define __PRAGMA_RE
D
EFINE_EXTNAME
Signed-off-by:
John Levon
<john.levon@joyent.com>
commit
|
commitdiff
|
tree
2020-01-23
John Levon
predefine "i386" if needed
Signed-off-by:
John Levon
<john.levon@joyent.com>
commit
|
commitdiff
|
tree
2020-01-22
John Levon
pre-defin
e
__unix__
a
n
d
frie
n
ds
Signed-off-by:
John Levon
<john.levon@joyent.com>
commit
|
commitdiff
|
tree
2020-01-22
John L
e
von
add necess
a
ry defin
e
d for sunos-derived system
s
Signed-off-by:
John Levon
<john.levon@joyent.com>
commit
|
commitdiff
|
tree
2020-01-22
John Levon
de
f
i
ne __PRAG
M
A_REDEFINE_EXTNAME
Signed-off-by:
John Levon
<john.levon@joyent.com>
commit
|
commitdiff
|
tree
2020-01-06
John Levon
di
s
abl
e
warning about long double in unio
n
s
commit
|
commitdiff
|
tree
2020-01-06
John Levo
n
Correct FP minimum handling
commit
|
commitdiff
|
tree
2019-11-15
John Levon
Add -Wext
e
rnal-function-h
a
s-def
i
ni
t
i
o
n
Signed-off-by:
John Levon
<john.levon@joyent.com>
commit
|
commitdiff
|
tree
2019-11-15
Joh
n
L
evon
Remove bogus option fro
m
sparse manual
.
commit
|
commitdiff
|
tree
2019-11-15
J
o
h
n
Levon
unreachable code should use
sm_warn
i
ng()
commit
|
commitdiff
|
tree
2019-11-15
John Levon
Set smatch to out
p
ut to s
t
dout
commit
|
commitdiff
|
tree
2019-11-15
John
L
evon
Remove unused va
r
iable from check_memse
t
.
c
commit
|
commitdiff
|
tree
2019-11-15
John
Levon
Fix unused variabl
e
in macro_tab
l
e
.
c
commit
|
commitdiff
|
tree
2019-11-15
John Levon
Fix divid
e
by zer
o
mes
s
age
commit
|
commitdiff
|
tree
2019-11-15
J
o
h
n
L
evon
Clean up u
n
use
d
-W options
commit
|
commitdiff
|
tree
2019-11-15
John Levon
Add
c
heck_cmn_er
r
commit
|
commitdiff
|
tree
2019-11-15
J
o
hn Levon
A
d
d check_all_
f
u
n
c_returns
commit
|
commitdiff
|
tree
2019-11-12
John Le
v
o
n
Add -W
e
xternal-fu
n
ction-has-d
e
f
i
nition
Signed-off-by:
John Levon
<john.levon@joyent.com>
commit
|
commitdiff
|
tree
2018-12-11
John Levon
Remov
e
-Wempty
-
character-cons
t
an
t
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-12-06
Jo
h
n Levon
Add illumos proj
e
c
t
s
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-12-06
John Le
v
on
C
onve
r
t some sm_msg()
i
nto more s
p
e
c
i
f
i
c rep
o
r
t
i
ng
.
.
.
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Convert sm_ms
g
(
) with an er
r
or: p
r
efix into sm_error()
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Con
v
ert
a
ll sm_msg("warn:
.
.
" i
n
to sm_warning()
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Re
g
ularise err
o
r
report
i
n
g
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-12-01
John
Levo
n
Conditiona
l
ize 'warning: non-ANSI
f
unction
.
.
.
'
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-11-29
John Le
v
o
n
Ign
o
re #ident directives
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Look acr
o
ss
t
he e
n
t
i
r
e
com
p
ile line for smat
c
h
a
r
g
um
e
nts
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-11-27
John
L
evon
sparse: add -W
e
mpty-charact
e
r-constan
t
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse
:
add -Wb
i
g-constan
t
s
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse: add -Wno-non-ansi-func
t
io
n
-declaration
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-11-27
John
L
evon
spars
e
:
corr
e
ct
l
y han
d
l
e
"-D foo" an
d
"-U foo"
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Introduce skipped_function
s
Signed-off-by:
John Levon
<john.levon@joyent.com>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n Levo
n
Fix
escape_newlines()
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-11-27
John Levo
n
spa
r
se:
l
ib
.
c
sho
u
ld handle being built
32-bit,
compiling
.
.
.
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n Levon
sparse:
d
e
fine
_
_x86
_
6
4
;
some software check
s
for this
.
.
.
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn Levon
A
l
low
a
d
d
it
i
onal CFLA
G
S to
be s
p
ecified,
e
.
g
.
"
C
FLAGS
.
.
.
Signed-off-by:
John Levon
<levon@movementarian.org>
commit
|
commitdiff
|
tree
2018-10-31
J
o
hn Levon
clock() is alread
y
defi
n
ed
on illu
m
os, so renam
e
t
he
.
.
.
commit
|
commitdiff
|
tree
2018-10-31
John Levon
Ignore "#i
d
e
n
t" as
found in so
m
e
o
ld so
u
rces
.
commit
|
commitdiff
|
tree
2018-10-31
John Levon
U
se $(
C
FLAGS)
w
hen
c
o
mpiling sma
t
ch
.
c its
e
lf
.
commit
|
commitdiff
|
tree