repo.or.cz
/
splint-patched.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
First part of transition from not-function header.
2017-03-14
M
i
h
a
i
l Gro
z
a
F
i
rst
p
art of trans
i
tion from
not-function
h
e
a
der
.
commit
|
commitdiff
|
tree
2017-03-14
Mi
h
ai
l
Gro
z
a
Consist
e
nt naming of standard li
b
r
a
ry
and head
e
r
s
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail Groz
a
B
e a bit l
e
ss permiss
i
v
e
in
constrain
t
exp
r
ession parsing
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail
Groza
Cosmetic cha
n
ges to C gr
a
mmar file (n
o
beha
v
ioural
.
.
.
commit
|
commitdiff
|
tree
2017-03-13
M
ihai
l
Groza
Yet an
o
ther partial fix
for https://bugs
.
debian
.
org
.
.
.
commit
|
commitdiff
|
tree
2017-03-13
M
i
hail Groz
a
Part
i
al fix for https://bug
s
.
debi
a
n
.
org/626552
commit
|
commitdiff
|
tree
2017-03-13
Mihail
G
roza
Remove
s
ome unused tokens + minor refactoring
commit
|
commitdiff
|
tree
2017-03-10
Mihail Groza
C
lean s
o
me garb
a
g
e
in preprocess
o
r-scanner interactio
n
commit
|
commitdiff
|
tree
2017-03-10
Mihail
G
roz
a
Minor abstraction of C scanner
commit
|
commitdiff
|
tree
2017-03-10
Mihail Gr
o
za
Multiple fixes to str
i
ng literal handling
commit
|
commitdiff
|
tree
2017-03-10
Mihail Groza
Mino
r
tweak of te
s
t suite
commit
|
commitdiff
|
tree
2017-03-09
Mihail
G
roza
Remove custom
s
upport
f
or
_
_const keywo
r
d
.
commit
|
commitdiff
|
tree
2017-03-07
Miha
i
l Groza
Silenc
e
a warning
f
rom
U
n
define
d
BehaviourSanitiz
e
r
commit
|
commitdiff
|
tree
2017-03-07
Mihai
l
Gr
o
za
Mod
i
fy C grammar fi
l
e
u
nd
e
rstanding of what initializer is
.
commit
|
commitdiff
|
tree
2017-03-07
Mihail Groza
D
o
n't install headers used to bu
i
l
d
Splint lib
r
a
r
ie
s
commit
|
commitdiff
|
tree
2017-03-07
Miha
i
l
G
r
oza
Minor adjustment
of POSIX library
commit
|
commitdiff
|
tree
2017-03-06
Mihail
Groza
Handle p
o
ssible null character in
s
ide string li
t
eral
commit
|
commitdiff
|
tree
2017-03-06
Mihail
G
roza
Fix
f
or https://sf
.
net/p/splin
t
/bu
g
s/15
commit
|
commitdiff
|
tree
2017-03-06
Mihail Groza
M
i
n
or
refa
c
t
orin
g
and
cosmetic c
l
ea
n
-up (no
behavio
u
ral
.
.
.
commit
|
commitdiff
|
tree
2017-03-02
M
i
hail
Groza
Fix
lib
r
ar
y
spe
c
ification of
calloc()
commit
|
commitdiff
|
tree
2017-03-02
M
ihail Gr
o
za
M
i
n
o
r fix f
o
r posix l
i
b
r
ary
.
commit
|
commitdiff
|
tree
2017-02-28
Mi
h
ail Groza
Avoid unne
c
essa
r
y
testing when c
o
ncatenating
e
xpressions
commit
|
commitdiff
|
tree
2017-02-28
Mi
h
ail Gr
o
z
a
Co
r
rect
o
rder of variable initialization
.
commit
|
commitdiff
|
tree
2017-02-28
M
i
h
ail Groza
Add support for vari
a
ble declaration in for initialization
.
.
.
commit
|
commitdiff
|
tree
2017-02-28
Mih
a
i
l
G
r
oza
Minor cosmetic cl
e
an-up
commit
|
commitdiff
|
tree
2017-02-27
Mihai
l
Groza
M
a
n
page clean
-
up
.
commit
|
commitdiff
|
tree
2017-02-27
Miha
i
l
G
roza
Correction for
s
witch im
b
ricated with
i
f/else block
.
commit
|
commitdiff
|
tree
2017-02-26
M
ihail Groza
Fix minor inco
n
s
is
t
e
ncies
in l
i
brary
c
onstants
commit
|
commitdiff
|
tree
2017-02-26
Mihail G
r
oz
a
Some duplicat
i
o
n
i
n
v
ersion/name/date macros removed
commit
|
commitdiff
|
tree
2017-02-26
Mihai
l
G
r
o
z
a
Previous submit failed to upd
a
te
h
eader name in Makefile
.
.
.
commit
|
commitdiff
|
tree
2017-02-26
Mih
a
il Groza
Small refactoring witho
u
t
a
ny behavi
o
ral changes
.
commit
|
commitdiff
|
tree
2017-02-26
M
i
hail
G
roza
Cosme
t
ic related refactoring (no behavioural chang
e
s
)
commit
|
commitdiff
|
tree
2017-02-25
Mihail Groza
Minor
r
efact
o
r
ing (n
o
functionality
c
h
ange) of C g
r
ammar
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groz
a
Fix
a
parsing err
o
r i
n
initialization
o
f
e
numeratio
n
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail
G
r
o
za
Minor upda
t
e to s
t
and
a
rd/
u
n
i
x
library
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
Fix
handli
n
g
o
f
D
uff's device
imple
m
ente
d
u
s
i
n
g for
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
M
ih
a
il Groza
Minor strengthening of ass
e
rts
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
Fix processing error for va
r
iables
of type f
u
nct
i
on
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail G
r
oz
a
Work
-
around for
f
a
ilure
t
o se
l
f-check
.
commit
|
commitdiff
|
tree
2017-02-22
Mihail Groza
Support for hh length modifi
e
r in printf/
s
canf-like
.
.
.
commit
|
commitdiff
|
tree
2017-02-22
M
ihail Groz
a
Clean-up qua
l
ifier mixing
.
commit
|
commitdiff
|
tree
2017-02-20
Mihail Groza
All
o
w mixed sta
t
emen
t
s
and variable de
c
l
ar
a
tions
(
as
.
.
.
commit
|
commitdiff
|
tree
2017-02-20
Mihail G
r
o
za
Minor cos
m
et
i
c clean-up
.
commit
|
commitdiff
|
tree
2017-02-20
Mih
a
il G
r
oza
Cosmetic changes t
o
e
r
ror printing
.
commit
|
commitdiff
|
tree
2017-02-17
Mihail Groza
Fix build of im
p
orts (missing path)
.
commit
|
commitdiff
|
tree
2017-02-17
Mihail Groza
Fix bug exposed by a previous
co
m
mit
.
commit
|
commitdiff
|
tree
2017-02-15
Mihail Groza
S
m
all re
f
actoring of C grammar file
.
commit
|
commitdiff
|
tree
2017-02-15
Mihail Groza
Less
permissive syntax for notreache
d
comment
.
commit
|
commitdiff
|
tree
2017-02-15
Miha
i
l
G
roza
Avoid unnecessary
par
s
ing conflicts d
u
e to
t
ype/id
.
.
.
commit
|
commitdiff
|
tree
2017-02-14
Mihail Groza
Correcte
d
inconsistency
in handl
i
ng
preprocessor de
f
in
i
tions
.
commit
|
commitdiff
|
tree
2017-02-12
M
i
h
a
il Gr
o
za
R
e
m
o
ve
s
pl
i
nt-genera
t
ed files from distrib
u
tion
.
commit
|
commitdiff
|
tree
2017-02-12
Miha
i
l Gro
z
a
Tweak ignore rules
for generated file
s
.
commit
|
commitdiff
|
tree
2017-02-12
M
i
hail Groza
S
m
arter way of genera
t
ing
f
lag c
o
d
e
s header
.
commit
|
commitdiff
|
tree
2017-02-12
Mi
h
a
il
G
roza
Cle
a
n-up flag
s
definiti
o
ns
commit
|
commitdiff
|
tree
2017-02-10
Mihail Gro
z
a
No need to
save (generated) spec
f
iles in repository
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mihai
l
Groz
a
More twea
k
ing of ignores
.
commit
|
commitdiff
|
tree
2017-02-10
M
i
hail Groza
R
e
pository clean-up
+
ig
n
ores update
commit
|
commitdiff
|
tree
2017-02-10
Mihail
G
roza
R
emov
e
us
e
s of abort + cosmetic changes in prep
r
o
c
essor
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mi
h
ail Gr
o
z
a
Mo
v
ed header dependen
t
ma
c
ro
f
r
o
m
t
he n
e
ver-incl
u
de
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail Groza
Ma
k
e BAD
*
macros us
e
custom ex
i
t
.
commit
|
commitdiff
|
tree
2017-02-09
Mi
h
a
il Groza
Make sure memory clean-up is done o
n
exits
.
commit
|
commitdiff
|
tree
2017-02-09
Mihai
l
Groza
Cosmetic chan
g
es
t
o
some error
h
andling mac
r
os
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Groza
Fix use-after-free detected by
v
algrind
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail
G
roza
Minor warnings/duplicat
e
s/cosmet
i
c clea
n
-up
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Gr
o
za
Re-ac
t
ivate so
m
e
c
lean-up
that wa
s
skipped
.
commit
|
commitdiff
|
tree
2017-02-07
Mi
h
ail Gr
o
za
Preprocessor h
a
sh
routines
n
o
lon
g
e
r compute name length
commit
|
commitdiff
|
tree
2017-02-07
Mihail
Groza
Plug a
m
emory leak in preproc
e
s
s
o
r
h
andling of define
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail
Gro
z
a
Recogni
z
e
missing par
a
met
e
r in macro definit
i
ons
.
commit
|
commitdiff
|
tree
2017-02-07
M
i
hail Groza
Add
e
d che
c
ks f
o
r incorr
e
ct usage of __VA_ARGS__ (ISO
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
M
i
hail Groza
P
reproces
s
or stops pr
o
c
essi
n
g dire
c
tives with wr
o
ng
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
A
n
other
m
i
nor refac
t
oring of preproce
s
sor librar
y
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
S
mall re
f
a
ctoring of preproc
e
s
s
or library
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail
G
roza
M
i
nor refactorin
g
of p
r
eprocessor function
a
li
t
y
.
commit
|
commitdiff
|
tree
2017-02-06
M
i
hail Groza
Minor cl
e
an-
u
p o
f
t
est mak
e
file
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Groza
Added su
p
p
o
rt for variadic macros (as in C99
)
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Groza
Added missing
c
ase
s
in s
w
itch
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groza
Fix bug detecti
n
g
standar
d
he
a
d
er file
s
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail
G
r
o
za
Fix
for prepro
c
essor rede
f
init
i
on of a
en
u
m constant
.
.
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail
G
r
oza
Cosmet
i
c c
h
anges (split fro
m
u
pcoming commit)
.
commit
|
commitdiff
|
tree
2017-02-03
Mi
h
ail Groza
Cosmetic c
h
a
n
g
e
s to C gramma
r
commit
|
commitdiff
|
tree
2017-02-03
Mih
a
il Groza
Remo
v
e useless grammar r
u
l
e
.
commit
|
commitdiff
|
tree
2017-02-03
Mih
a
il
Groza
Made
s
ure all empty
r
ule
s
are expl
i
c
t
(and consistent)
commit
|
commitdiff
|
tree
2017-02-03
Miha
i
l Gr
o
za
Fix parsin
g
i
ss
u
e (introduc
e
d by
me
)
.
commit
|
commitdiff
|
tree
2017-02-01
M
i
hail
G
roz
a
Issue in old m
e
rge related to 'ne
s
tcomment' comment
.
commit
|
commitdiff
|
tree
2017-02-01
Mihail
G
roza
Some code
c
l
ean-up
of preprocessor
co
d
e
.
commit
|
commitdiff
|
tree
2017-01-31
Mihail Groza
Minor ch
a
n
ge
s
aimed at better self-checking
.
commit
|
commitdiff
|
tree
2017-01-31
Mihail
G
roza
Clean-up of fla
g
s con
t
rol
i
ng t
r
acing of
b
ison
generated
.
.
.
commit
|
commitdiff
|
tree
2017-01-31
Mihail Groza
M
i
n
o
r fixes for glitches in cstring
.
commit
|
commitdiff
|
tree
2017-01-26
Mihail G
r
oza
Correct handling of
unary + o
p
erati
o
n
.
commit
|
commitdiff
|
tree
2017-01-26
Mihail G
r
oza
Two useless
/
empty bison reductions re
m
oved
.
commit
|
commitdiff
|
tree
2017-01-25
Mih
a
il Groz
a
Var
i
ous minor f
i
x
es
f
or comp
i
ler/linte
r
(other
t
hen
.
.
.
commit
|
commitdiff
|
tree
2017-01-23
Mihai
l
Groza
Some
c
lean-up
o
f
memory rout
i
nes (+ some regression
.
.
.
commit
|
commitdiff
|
tree
2017-01-21
Mihail Groza
M
i
nor changes to boolean
inclus
i
o
n
/declarat
i
ons/defin
i
tions
.
commit
|
commitdiff
|
tree
2017-01-21
Mihail Groza
Minor
cle
a
n
-
up in hea
d
er inclus
i
on (+
mino
r
moves of
.
.
.
commit
|
commitdiff
|
tree
2017-01-21
Mihail Gr
o
za
Avoid
some 'unused-*' (variable, parameter,
f
unct
i
on
.
.
.
commit
|
commitdiff
|
tree
2017-01-20
M
i
h
ail Groza
Ad
d
'
v
oid' as parameter list for routi
n
es with no arguments
.
commit
|
commitdiff
|
tree
2017-01-20
Mihail Groza
Warnings clean-up
.
commit
|
commitdiff
|
tree
2017-01-19
M
ihail Groza
Lots o
f
ch
a
nges, m
a
inly reg
a
rding C prep
r
ocessor
.
commit
|
commitdiff
|
tree
2016-12-17
M
i
h
ail Groza
Remo
v
e stupid UNAME/HOST_CPU use fr
o
m code (
a
n
d confi
g
ure
.
ac
)
commit
|
commitdiff
|
tree
2016-12-16
Mihail
G
ro
z
a
Remove from (build a
n
d) repository (obv
i
o
u
sl
y
) unus
e
d
.
.
.
commit
|
commitdiff
|
tree
next