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
Repository clean-up + ignores update
2017-02-10
Mihail Groza
Repos
i
tory clean-
u
p + igno
r
es update
commit
|
commitdiff
|
tree
2017-02-10
M
ihail G
r
o
z
a
Remove uses of a
b
ort + cosmetic changes in preprocessor
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail Gro
z
a
Mov
e
d header de
p
e
ndent
m
a
cro fr
o
m the never-include
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail
G
r
oza
Make BAD* mac
r
o
s
us
e
custom
e
xit
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Groza
Make sure memor
y
c
l
ean-up is done
on
e
xits
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Groza
Cosmetic c
h
anges to some error ha
n
dling macr
o
s
.
commit
|
commitdiff
|
tree
2017-02-09
Mihai
l
G
roza
F
i
x use-
a
fter-free detected
by v
a
l
grind
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Groza
M
i
nor war
n
i
n
gs/dupli
c
a
t
es/cosmetic
clea
n
-up
.
commit
|
commitdiff
|
tree
2017-02-09
Mihai
l
Groz
a
Re-activate some clea
n
-up that
w
as skipped
.
commit
|
commitdiff
|
tree
2017-02-07
M
ihail Groza
Pre
p
r
o
cessor hash routi
n
es no longer compute na
m
e len
g
th
commit
|
commitdiff
|
tree
2017-02-07
M
i
h
ail Groz
a
Plug a m
e
mory
l
eak in preproc
e
ssor
h
andling of def
i
ne
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail G
r
oz
a
Recognize missing paramete
r
i
n
macro
d
e
f
initio
n
s
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail
G
roza
Added c
h
ecks
f
or incorr
e
ct usage of
__V
A
_ARGS__ (I
S
O
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
P
r
eproc
e
ssor stops processing
directive
s
with
w
r
ong
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groz
a
A
not
h
er minor refactoring of prepro
c
e
ssor librar
y
.
commit
|
commitdiff
|
tree
2017-02-07
M
i
h
ail
G
roza
Small refa
c
toring
of
preprocessor library
.
commit
|
commitdiff
|
tree
2017-02-06
Mihai
l
G
ro
z
a
Min
o
r refactoring of prepro
c
essor
f
u
nctionality
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Gro
z
a
M
inor
c
le
a
n-up of
t
est mak
e
file
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Groza
Added
supp
o
rt for variadic macros (as in C99)
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Groza
Added m
i
ssin
g
cases
i
n swi
t
ch
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groza
F
ix
bug
d
e
tecting stan
d
ard h
e
ader
f
il
e
s
.
commit
|
commitdiff
|
tree
2017-02-03
M
i
hai
l
G
r
oza
F
i
x
f
o
r pr
e
processor red
e
finit
i
on
o
f a enum constant
.
.
.
commit
|
commitdiff
|
tree
2017-02-03
Mi
h
ail Groza
Cosmetic changes
(
split
f
rom up
c
oming
c
o
mm
i
t)
.
commit
|
commitdiff
|
tree
2017-02-03
Miha
i
l Groza
Cosmetic
c
hanges t
o
C grammar
commit
|
commitdiff
|
tree
2017-02-03
Mi
h
ail
G
roz
a
Remo
v
e
u
seless
g
rammar rule
.
commit
|
commitdiff
|
tree
2017-02-03
Miha
i
l
Groza
Made sure
a
ll empty rul
e
s a
r
e e
x
plict (and con
s
istent)
commit
|
commitdiff
|
tree
2017-02-03
Mihai
l
Groza
Fix parsing issue
(
introduced by m
e
)
.
commit
|
commitdiff
|
tree
2017-02-01
M
iha
i
l Groza
Issue in
o
ld merge related to
'nestcomment
'
comment
.
commit
|
commitdiff
|
tree
2017-02-01
Mihai
l
G
r
o
za
Some code clea
n
-up of preprocessor code
.
commit
|
commitdiff
|
tree
2017-01-31
Mihail Groza
Minor changes aimed a
t
bett
e
r self-chec
k
ing
.
commit
|
commitdiff
|
tree
2017-01-31
Mi
h
a
i
l Groza
Clean-up of flags controling tracing of bi
s
on gene
r
a
t
ed
.
.
.
commit
|
commitdiff
|
tree
2017-01-31
Mihail G
r
oz
a
Minor fixes for glitches in cstring
.
commit
|
commitdiff
|
tree
2017-01-26
Mihail Groza
Correct handling of una
r
y + operation
.
commit
|
commitdiff
|
tree
2017-01-26
Mihail Groza
Two useless
/
empty bison reductions r
e
moved
.
commit
|
commitdiff
|
tree
2017-01-25
Mihai
l
Groza
Various minor fixes
for co
m
piler/linter (ot
h
er the
n
.
.
.
commit
|
commitdiff
|
tree
2017-01-23
M
ihail
Groza
Some c
l
ean-
u
p
of m
e
mory ro
u
tine
s
(+
some regressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2017-01-21
Mih
a
il
Groza
M
i
nor changes to boolean inclusion/declaratio
n
s
/d
e
finitions
.
commit
|
commitdiff
|
tree
2017-01-21
Mihail Groza
Mi
n
or clean
-
up in heade
r
inclusi
o
n
(
+
m
i
nor move
s
o
f
.
.
.
commit
|
commitdiff
|
tree
2017-01-21
Mih
a
i
l Gr
o
za
Avoid some 'unus
e
d-*
'
(va
r
iable,
p
aramete
r
, function
.
.
.
commit
|
commitdiff
|
tree
2017-01-20
Mi
h
ail Groza
Add 'voi
d
' as parameter list for routines w
i
th no arguments
.
commit
|
commitdiff
|
tree
2017-01-20
Mihail Groza
W
ar
n
ings
c
lean-up
.
commit
|
commitdiff
|
tree
2017-01-19
Mihail Groza
L
o
ts
o
f chan
g
es, mai
n
ly regardin
g
C
preprocess
o
r
.
commit
|
commitdiff
|
tree
2016-12-17
M
i
ha
i
l Gro
z
a
Remove stupid UNAME/HOS
T
_
CPU use from code (and configure
.
a
c)
commit
|
commitdiff
|
tree
2016-12-16
Mi
h
ail Groza
Remove from (bu
i
l
d
and)
repository (ob
v
i
ousl
y
) unused
.
.
.
commit
|
commitdiff
|
tree
2016-12-16
Mihail
Gro
z
a
OS2 builds with
g
cc &
POSIX support
(EMX) -- dr
o
p
s
upp
o
rt
.
.
.
commit
|
commitdiff
|
tree
2016-12-16
Mi
h
a
i
l Groza
Removed (dep
r
e
c
ated
)
support for (obsolete) M
S
DOS
commit
|
commitdiff
|
tree
2016-12-16
Mihail Groza
C
o
rrect
s
o
me inadvertencies in headers u
s
a
ge
commit
|
commitdiff
|
tree
2016-12-16
Miha
i
l G
r
oza
Removed som
e
cruf
t
from (L
C
L) l
i
b
commit
|
commitdiff
|
tree
2016-12-16
Mihail Gr
o
za
Avoid (some) duplication (already wit
h
errors) in OS
.
.
.
commit
|
commitdiff
|
tree
2016-12-14
Mih
a
il
G
ro
z
a
Some clean
-
u
p of
O
S dependent code
.
commit
|
commitdiff
|
tree
2016-12-14
Mihail Gro
z
a
Consiste
n
c
y
betwe
e
n
L
A
R
CH
_
PATH & LCLIMPOR
T
DIR
.
commit
|
commitdiff
|
tree
2016-12-14
M
i
hail Groza
C
l
e
a
n-up: moved (some) OS d
e
pende
n
t code t
o
o
sd
.
{c,h}
commit
|
commitdiff
|
tree
2016-12-13
M
i
ha
i
l Groza
S
how I/O error na
m
es (inste
a
d of "undocumen
t
ed I/O
.
.
.
commit
|
commitdiff
|
tree
2016-12-13
Mihail
Groz
a
D
rop
(non-fun
c
tiona
l
) support for
(ob
s
ole
t
e) VMS
commit
|
commitdiff
|
tree
2016-12-13
Miha
i
l Groza
R
emoved
left-o
v
ers from
a
bstract
i
zation of getpid(
)
commit
|
commitdiff
|
tree
2016-12-13
Mihail
G
roza
Moved OS dependent
c
onstants
from co
n
stants
.
h to
o
s
d
.
h
commit
|
commitdiff
|
tree
2016-12-12
Miha
i
l Groza
Av
o
id
u
sing un
d
ef
i
n
e
d
preprocessor macros (repo
r
ted
.
.
.
commit
|
commitdiff
|
tree
2016-12-12
Mi
h
ail Groza
Avoid dupli
c
ate (and possible
i
nconsit
e
nt) def
i
niti
o
n
.
commit
|
commitdiff
|
tree
2016-12-12
Mihail
G
roza
B
ette
r
supp
o
r
t for (testing +
o
u
t-of-pl
a
ce b
u
ild)
.
commit
|
commitdiff
|
tree
2016-12-12
Mihail Groza
Refact
o
red
hash functionality (+ avoid dumb include)
.
commit
|
commitdiff
|
tree
2016-12-12
Mi
h
a
il Groza
Sup
p
ort
f
or ou
t
-of-pl
a
ce builds
.
commit
|
commitdiff
|
tree
2016-12-10
Mihail Groz
a
Nicer handling of hand-generated file
s
by bui
l
d s
y
stem
commit
|
commitdiff
|
tree
2016-12-10
Mihail
G
roza
References t
o
dead-
e
nd s
a
n
i
ti
z
er varia
n
t r
e
moved
.
commit
|
commitdiff
|
tree
2016-12-10
Mihail G
r
oza
C scanning/parsing u
s
e c_ as pref
i
x
(instea
d
o
f
default
yy)
commit
|
commitdiff
|
tree
2016-12-09
Mihail
Groza
S
w
itched
f
rom manual to automated handling of cgrammar
commit
|
commitdiff
|
tree
2016-12-08
Mihail Groz
a
Swi
t
c
hed fro
m
m
anual
to automated han
d
ling of mtgrammar
commit
|
commitdiff
|
tree
2016-12-08
M
iha
i
l Gr
o
za
S
witched fr
o
m manual to a
u
t
o
mated handling of
llgrammar
.
commit
|
commitdiff
|
tree
2016-12-08
Mihail Groza
Simplif
i
e
d dependencie
s
(towards aut
o
mated
h
andli
n
g
.
.
.
commit
|
commitdiff
|
tree
2016-12-08
Mihail Groza
Avoid g
e
neratio
n
(and us
e
) of
useles
s
LC
L
gramm
a
r headers
.
commit
|
commitdiff
|
tree
2016-12-08
Miha
i
l Groza
Renamed LSL
pars
e
r t
e
mplate
f
i
le
f
or consistence
.
commit
|
commitdiff
|
tree
2016-12-08
Mihail Groza
Minor
c
o
s
metic glitches in
L
SL p
a
r
s
e
r
.
commit
|
commitdiff
|
tree
2016-12-08
M
ih
a
il Groz
a
R
e
n
amed
s
o
m
e
LSL
r
e
l
a
ted fil
e
s
t
o
ha
v
e
lsl as prefix
.
commit
|
commitdiff
|
tree
2016-12-08
Mihail Groza
Switched f
r
om manual to
aut
o
mati
c
ally
h
andling of signature
.
y
.
commit
|
commitdiff
|
tree
2016-12-07
Miha
i
l
G
ro
z
a
Avoid
unneeded pampering o
f
gener
a
ted lex file
.
commit
|
commitdiff
|
tree
2016-12-07
Mihail Groza
Pr
e
tty-pri
n
ti
n
g
of lib/ building
.
commit
|
commitdiff
|
tree
2016-12-07
Mihail Groza
Minor fix f
o
r te
s
t s
u
ite
o
u
tput
preprocessin
g
.
commit
|
commitdiff
|
tree
2016-12-07
M
i
hail Groza
Revert test-suit
e
from automake
back
to make
.
commit
|
commitdiff
|
tree
2016-12-06
Mihail
G
r
oza
Dro
p
ped executable flag for most files in test/manual
.
commit
|
commitdiff
|
tree
2016-12-06
Mihail G
r
oz
a
M
o
re c
l
e
a
n
-u
p
of t
e
st suite
.
commit
|
commitdiff
|
tree
2016-12-05
Miha
i
l Groza
Mor
e
t
ests
clea
n
-up
.
commit
|
commitdiff
|
tree
2016-12-04
Mihail Groza
C
lean-up for tes
t
/db{
1
,2,3} tests
.
commit
|
commitdiff
|
tree
2016-12-04
M
ihail Groza
Fix
error
in
tests2
.
2
.
commit
|
commitdiff
|
tree
2016-12-04
Mihail Groza
Re-
a
ctivate badcommit test
.
commit
|
commitdiff
|
tree
2016-12-04
Mihail Groza
C
l
ean-up and beauti
f
y list of distributed files
.
commit
|
commitdiff
|
tree
2016-12-04
Mi
h
ail Groza
Cle
a
n-
u
p the build system and
t
h
e
repository a bit
.
commit
|
commitdiff
|
tree
2016-11-30
M
i
hai
l
Groza
Clean up
y
a
cc
f
i
les for newer y
a
cc
/
bison
.
commit
|
commitdiff
|
tree
2016-11-29
Mihail Groza
Fi
x
bit-rot in
DPRIN
T
F()
.
commit
|
commitdiff
|
tree
2016-11-29
M
ihail Gro
z
a
Updated sys
t
e
m
de
p
endent and O
S
2 support fro
m
u
pstre
a
m
.
commit
|
commitdiff
|
tree