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
testsuite: make tests known to fail effectively fail
2017-02-13
Luc Van Oostenryck
test
s
uite: make tests k
n
own
t
o
fail effectively fail
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
t
ests
u
ite: gi
v
e a prop
e
r name to the
'bin
a
ry-constant
.
.
.
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
e
x
pand __builtin_
b
swa
p
*() with co
n
stant args
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
le
t
identical symb
o
ls share th
e
ir
e
valuat
e
/expand methods
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van
Oostenryck
move ev
a
luation & expansion of b
u
i
l
tins in a separate
.
.
.
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Va
n
Ooste
n
r
y
ck
add suppor
t
for LLP64 arch
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
st
e
nry
c
k
simplify '(x ||
x
)' and '(x && x)'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify
co
m
p
a
r
i
s
o
ns
f
ollowed b
y
an equality te
s
t ag
a
i
n
s
t
.
.
.
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
add warni
n
g o
p
ti
o
n '-Wtautological-compare'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
tenryck
simplify '(x
o
p x)' to
'
0
'
,
'1' or 'x'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
sim
p
lify '(x || 1)' to '1'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
simplify '~(~x)' and
'-
(
-x)'
t
o 'x'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify '(x
%
1)' into
'
0'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
simplify '(x / -
1
)
' to
'-x' (but o
n
l
y
for signed division
)
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
O
oste
n
r
y
ck
s
impl
i
fy '(
x
* -1)' to
'
-x'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplif
y
'(x / 1)'
t
o 'x'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenr
y
ck
move OP_
M
UL simpl
i
f
ication
in a separate fun
c
tion
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
Oostenryck
d
e
fine __
L
O
N
G
_MAX__ & _
_
SIZEOF_POINT
E
R__
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add a
n
help
e
r for common
prede
f
ined m
a
cro
s
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
d
efine __LP64__
&
_LP6
4
if arch
_
m64 is enabled
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenr
y
ck
fix killing O
P
_SETVAL in
s
truct
i
ons
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oostenryck
re
m
ove 'Escape' fr
o
m
t
o
ken
c
haracter cla
s
s
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oo
s
te
n
ryck
warn on u
n
known esca
p
es a
f
ter preprocessing
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
add test
c
a
se for wron
g
e
arly escape conversion
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryc
k
remove u
n
used arg in use
s
/defs functions
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an O
o
ste
n
ryck
validate expression
'
s type
in con
d
iti
o
na
l
s
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
t
enryck
add helper: is_sca
l
ar_type()
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Va
n
Oo
s
tenryc
k
f
ix conditional con
t
ext test case with void
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
ostenryck
cl
e
anup
kill_in
s
tructi
o
n
(
)
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
expl
i
c
itely ig
n
or
e
killing OP_ENTRY
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix ki
l
ling OP_COMPUTEDG
O
TO
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an
O
o
s
tenryck
fix k
i
lling
O
P_SELEC
T
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
st
e
nryck
f
ix kill
i
ng O
P
_
C
AST & fr
i
e
nds
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
fix killing OP_P
H
I i
n
structi
o
ns
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
kill uses
o
f replaced
instructions
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
ten
r
y
ck
f
i
x c
r
ash while testing bet
w
een condition
a
l
& unconditional
.
.
.
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oost
e
nryck
fix c
a
st's target
t
ype i
n
fo
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
ostenryck
C11: teach
s
parse
a
bout '--s
t
d={c1
1
,gnu
1
1}'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
C11:
t
each s
p
arse about '_Alignas()'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11: teac
h
spa
r
se about '_Alignof()'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryc
k
C11: teach sparse about '
_
N
or
e
turn'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Va
n
Oostenryck
C
11: teach sparse abou
t
'_
T
hread_local'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix valu
e
o
f l
a
bel statement
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
m
issing
l
oad si
m
plification
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryc
k
fix p
h
isr
c
mixu
p
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix superfluous phi
s
r
c
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
t
e
nr
y
ck
v
olatile load
s
must not be simplif
i
ed
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc V
a
n Oostenryck
unssa:
upda
t
e comment abou
t
th
e
unneeded cop
i
e
s
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
u
n
ssa: eliminate trivial
p
h
i
src copi
e
s
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
unssa: tr
y
to avoid
some OP_PHI copies
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
unss
a
: simp
l
if
y
rewrite of
OP_PHISOURCE
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
u
nssa: do not try t
o
update liveness
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
f
i
x cast t
o
bool
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
llvm: remove
u
nne
e
de
d
OP_COPY support
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
Oostenryck
llv
m
: fix typ
i
ng w
h
e
n comparing to a const
a
nt
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oo
s
t
e
n
r
y
ck
f
ix typing error
in compo
u
nd assignm
e
nt
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oo
s
tenryck
a
dd
suppor
t
f
o
r __in
t
12
8
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
fix
m
issing element in types
declaration
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
re
c
u
r
sive p
h
i
_de
f
ines ca
n
not happen
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
cgcc shoul
d
n
ot
d
efine non-r
e
served identifiers
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
U
pdate
maintainers
i
n
the manpag
e
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
some mod
i
fiers
ne
e
d
t
o be preserved by 'typeof
(
)'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
test
s
uite: t
e
s
t
modifiers pr
e
served by 'typeof()'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van O
o
s
t
enryck
testsuite: test modifiers preser
v
ed by
'&' operator
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
u
s
e a sh
o
r
ter name for function-pointer-modifier-inheritance
.
c
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
testsuite: simplify test f
u
nction-pointer-inheritance
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n Oostenryck
storage should not be inh
e
rited by
p
o
inters
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
remove unused fie
l
d
'
multijump' in
s
truct instruction
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
g
i
v
e comparable la
b
el's
n
a
mes
t
o basic bl
o
cks
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
Oosten
r
yck
let "compile" not cras
h
on bools
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
mak
e
ptrlist walking against r
o
bu
s
t against empty blocks
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
Tested-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
a
d
d
t
est ca
s
e for built
i
n
b
swap with constant args
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
fix dis
c
ar
d
e
d
l
a
bel
state
m
e
n
t
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
Remove unneeded variable
i
n integer_promotion()
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
Warn on unknown at
t
r
ibu
t
e
s
instead of throwing errors
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
clea
n
up: remove eva
l
u
a
te
_
a
rguments()'s unu
s
ed
argument
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oos
t
enryck
make
'ig
n
or
e
d_attributes[]' st
a
tic
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-01-27
L
uc Van
Oostenryck
add missi
n
g #
i
ncl
u
de "char
.
h" t
o
char
.
c
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
Fix type ch
e
cking
o
f variadic fu
n
ctions
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oost
e
n
ryck
fix mix
u
p in "H
a
ndle SF
o
rced i
n
stora
g
e_m
o
difiers"
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2016-02-22
Lu
c
V
an Oostenryck
Do not d
r
o
p
'nocast' modifier when t
a
k
i
ng the address
.
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2016-02-04
L
u
c
Van Oo
s
tenryck
Fix size ca
l
culati
o
n of unsized
b
ool array
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2015-02-09
Luc Van Oostenryck
Teach
s
pa
r
s
e
about t
h
e __COUNT
E
R__ prede
f
ined
macro
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree