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
Mihail G
r
oza
First
part of transition fr
o
m n
o
t-function h
e
a
der
.
commit
|
commitdiff
|
tree
2017-03-14
Miha
i
l
Groza
C
o
nsistent naming of sta
n
dard l
i
b
rary
a
nd headers
.
commit
|
commitdiff
|
tree
2017-03-14
M
i
ha
i
l G
r
oza
Be a b
i
t
l
e
ss permissi
v
e in c
o
nstrai
n
t expression par
s
ing
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail Groza
Cosmetic chang
e
s
to C grammar file (no behavioural
.
.
.
commit
|
commitdiff
|
tree
2017-03-13
Mihail Groza
Yet another
par
t
ial fix for
h
t
tp
s
://bugs
.
debian
.
o
r
g
.
.
.
commit
|
commitdiff
|
tree
2017-03-13
Mihail
Groza
Pa
r
t
i
al fix for ht
t
ps://bugs
.
de
b
ia
n
.
org/6
2
6552
commit
|
commitdiff
|
tree
2017-03-13
Mihail Groza
Remove some unused
token
s
+ minor refactoring
commit
|
commitdiff
|
tree
2017-03-10
Mihail
Groza
Clean some
g
arba
g
e i
n
prep
r
o
c
essor-
s
canner int
e
racti
o
n
commit
|
commitdiff
|
tree
2017-03-10
Mih
a
i
l Gr
o
za
Min
o
r abstraction of C scanner
commit
|
commitdiff
|
tree
2017-03-10
Mihail Groza
Multiple fixes
t
o string literal h
a
ndling
commit
|
commitdiff
|
tree
2017-03-10
Mihail Groza
M
i
n
or tweak of tes
t
s
u
i
t
e
commit
|
commitdiff
|
tree
2017-03-09
Mihail Groza
Remove cus
t
om support
f
o
r
__const
keyword
.
commit
|
commitdiff
|
tree
2017-03-07
Mihail Groza
Silence a warning fr
o
m Un
d
efi
n
edBehaviourSanitizer
commit
|
commitdiff
|
tree
2017-03-07
Mihail
G
roza
Modify C g
r
ammar file understand
i
ng of what init
i
a
li
z
er is
.
commit
|
commitdiff
|
tree
2017-03-07
Mihail Groza
Don't in
s
tall header
s
us
e
d to build
Splint libraries
commit
|
commitdiff
|
tree
2017-03-07
Mihai
l
G
r
oza
Minor adjustment of
P
OSIX
libr
a
ry
commit
|
commitdiff
|
tree
2017-03-06
M
ihail Groza
Ha
n
dle
po
s
sibl
e
nul
l
cha
r
acter inside string literal
commit
|
commitdiff
|
tree
2017-03-06
M
i
hail Groz
a
F
i
x f
o
r https:
/
/sf
.
net/p/sp
l
int/bugs/15
commit
|
commitdiff
|
tree
2017-03-06
Mihai
l
G
roz
a
Minor refactorin
g
and co
s
me
t
ic clean-up (n
o
behavioural
.
.
.
commit
|
commitdiff
|
tree
2017-03-02
M
i
h
ail Groza
Fix lib
r
ary specification of cal
l
oc
(
)
commit
|
commitdiff
|
tree
2017-03-02
Mihail G
r
oza
Minor fix for posix libra
r
y
.
commit
|
commitdiff
|
tree
2017-02-28
Mihail
G
r
oza
Avoid un
n
e
c
essar
y
t
esting when concatenati
n
g expression
s
commit
|
commitdiff
|
tree
2017-02-28
M
ihail G
r
oza
Correct order of variable initial
i
zation
.
commit
|
commitdiff
|
tree
2017-02-28
Miha
i
l G
r
oza
A
d
d
supp
o
rt for variable declaration in for initia
l
iz
a
tion
.
.
.
commit
|
commitdiff
|
tree
2017-02-28
Mihail Groza
Minor cosmet
i
c clea
n
-
up
commit
|
commitdiff
|
tree
2017-02-27
M
i
hail G
r
oza
Man page
clean-up
.
commit
|
commitdiff
|
tree
2017-02-27
Mihail Groza
C
o
rrection for switch imbri
c
a
t
ed with if/else block
.
commit
|
commitdiff
|
tree
2017-02-26
Mihail Gr
o
za
Fix m
i
n
or inco
n
s
istencies in l
i
brar
y
c
onstants
commit
|
commitdiff
|
tree
2017-02-26
Mihail Groza
Some du
p
l
i
cati
o
n in version/nam
e
/d
a
t
e
macros r
e
moved
commit
|
commitdiff
|
tree
2017-02-26
Mihail Groza
Pr
e
vious submit fai
l
ed to u
p
date hea
d
er na
m
e in Mak
e
file
.
.
.
commit
|
commitdiff
|
tree
2017-02-26
Miha
i
l
Gr
o
za
Sm
a
ll refactoring without
any behavioral c
h
anges
.
commit
|
commitdiff
|
tree
2017-02-26
Mihail G
r
oza
Cosmetic relate
d
r
e
fa
c
toring (no behavioural changes
)
commit
|
commitdiff
|
tree
2017-02-25
Mi
h
ail
Groza
M
inor refactoring
(
no functionali
t
y change)
of C grammar
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
F
i
x a parsi
n
g
e
rror
i
n initia
l
izat
i
on of enumer
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
M
ihail Groza
M
i
nor update to standard/unix library
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail
Groza
Fix handling
of
D
uff's de
v
ice im
p
lemented using fo
r
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mi
h
ail Groza
Mino
r
s
trengthe
n
i
n
g
of asserts
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
Fi
x
processi
n
g error fo
r
v
a
r
i
ab
l
es of ty
p
e
function
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
Work-arou
n
d f
o
r fail
u
re to self-check
.
commit
|
commitdiff
|
tree
2017-02-22
M
i
hail Groza
S
u
ppor
t
fo
r
hh len
g
th
mo
d
i
fier
i
n
printf
/
scan
f
-like
.
.
.
commit
|
commitdiff
|
tree
2017-02-22
Mihai
l
G
ro
z
a
Clean-up qualifier mi
x
i
n
g
.
commit
|
commitdiff
|
tree
2017-02-20
Mihail Groza
Allow mix
e
d statements and varia
b
l
e
decl
a
ration
s
(as
.
.
.
commit
|
commitdiff
|
tree
2017-02-20
M
i
hail
G
roza
Minor cosmet
i
c cle
a
n
-
u
p
.
commit
|
commitdiff
|
tree
2017-02-20
M
ihail Groza
Cosmetic changes to error pr
i
nti
n
g
.
commit
|
commitdiff
|
tree
2017-02-17
Mihail Groza
Fix bui
l
d of
import
s
(missing
p
ath)
.
commit
|
commitdiff
|
tree
2017-02-17
Mi
h
ail Groza
Fix b
u
g exposed by a pr
e
vi
o
us commit
.
commit
|
commitdiff
|
tree
2017-02-15
Mihail Groza
Small r
e
factoring of C gramm
a
r
file
.
commit
|
commitdiff
|
tree
2017-02-15
Mihail Gro
z
a
L
e
s
s
p
er
m
issive syntax for
notr
e
ach
e
d comment
.
commit
|
commitdiff
|
tree
2017-02-15
Mihail
Groza
Av
o
id unnec
e
ssar
y
p
a
rsing co
n
f
l
icts du
e
t
o
type/id
.
.
.
commit
|
commitdiff
|
tree
2017-02-14
Mihail Groza
Corrected inconsistency in handli
n
g preprocessor de
f
initions
.
commit
|
commitdiff
|
tree
2017-02-12
Mi
h
ail Gr
o
z
a
Remove
s
pli
n
t-generated
fil
e
s fro
m
distribution
.
commit
|
commitdiff
|
tree
2017-02-12
Mih
a
il Groza
Tw
e
ak ignore rul
e
s
for
g
e
nera
t
ed files
.
commit
|
commitdiff
|
tree
2017-02-12
Mihail Groza
Smarter w
a
y of
g
enerating f
l
ag codes heade
r
.
commit
|
commitdiff
|
tree
2017-02-12
Mihail Groza
Cl
e
a
n-up flags defi
n
itions
commit
|
commitdiff
|
tree
2017-02-10
Miha
i
l Gro
z
a
No ne
e
d to sav
e
(gene
r
ated) spec
files in repository
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
M
i
hail
G
r
o
za
Mor
e
tweaking of
i
gnores
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail Groza
Repository clea
n
-u
p
+
ignores u
p
date
commit
|
commitdiff
|
tree
2017-02-10
Mih
a
il Groza
Remove u
s
e
s
o
f
abort + cos
m
etic c
h
anges in
p
reprocessor
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail Groza
Moved header dependent macro
f
r
om the never-inc
l
ude
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mi
h
ail Groza
Make B
A
D* macro
s
use custom exit
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Groza
Ma
k
e sure memory clean-
u
p
i
s do
n
e on
exits
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Groza
C
o
s
metic changes to some error handling macr
o
s
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Groza
Fix use-after-f
r
ee detected by valgrind
.
commit
|
commitdiff
|
tree
2017-02-09
Miha
i
l Groza
M
i
nor warnings
/
dupl
i
c
ates/cosmetic clea
n
-
u
p
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Groza
Re-activate s
o
me
cl
e
an-
u
p
t
ha
t
was
s
k
ipped
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
Preprocessor hash rou
t
ines no lo
n
ger compute name lengt
h
commit
|
commitdiff
|
tree
2017-02-07
Mihail G
r
oza
Plu
g
a
me
m
ory
leak in prepro
c
es
s
o
r
hand
l
ing of
defi
n
e
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
M
ihail Gr
o
za
Reco
g
nize m
i
ssing pa
r
ameter i
n
macr
o
defi
n
ition
s
.
commit
|
commitdiff
|
tree
2017-02-07
Mih
a
il Gro
z
a
Ad
d
ed checks for
incorrect usage of __VA
_
ARGS__ (ISO
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
Preprocessor st
o
ps p
r
ocessing d
i
rectives with wrong
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail
G
r
oz
a
Anoth
e
r minor
ref
a
ctor
i
ng of preproc
e
ssor
li
b
rar
y
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
Smal
l
refa
c
toring
o
f prepr
o
cessor library
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Groza
Minor refactoring of preprocessor functi
o
nal
i
ty
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Gr
o
za
Minor clean-up of test makefile
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Groza
Added s
u
pport for vari
a
dic macros (as in
C99
)
.
commit
|
commitdiff
|
tree
2017-02-06
M
i
h
ail Groza
Ad
d
ed
m
issing ca
s
es in swi
t
ch
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groza
Fix bug detecting standard
h
e
ader files
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groza
Fix for pr
e
processor re
d
efin
i
tio
n
of a
e
num
c
o
nst
a
nt
.
.
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groza
Co
s
metic changes (split from u
p
c
oming commi
t
)
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Gro
z
a
Cosmetic changes to
C
grammar
commit
|
commitdiff
|
tree
2017-02-03
Mi
h
a
i
l
Groza
Remove useless grammar rule
.
commit
|
commitdiff
|
tree
2017-02-03
Mihai
l
Groza
Made sure all e
m
pty rule
s
a
r
e explict (and c
o
nsistent)
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groza
Fix
par
s
i
ng issue (introduced by me)
.
commit
|
commitdiff
|
tree
2017-02-01
Mi
h
ail
Gr
o
za
Issue in old mer
g
e related to 'nestcomment' c
o
mment
.
commit
|
commitdiff
|
tree
2017-02-01
Mihail Groza
Some code clean-up of prep
r
ocessor code
.
commit
|
commitdiff
|
tree
2017-01-31
Mihail
G
roza
Minor changes aimed at
b
e
tter se
l
f-checking
.
commit
|
commitdiff
|
tree
2017-01-31
Mihail Groza
Clean-up of flags c
o
ntrolin
g
t
r
acing of bison
generated
.
.
.
commit
|
commitdiff
|
tree
2017-01-31
Mih
a
il Groza
Minor
f
ix
e
s for gli
t
ches in cstring
.
commit
|
commitdiff
|
tree
2017-01-26
Mihail
Groza
Corr
e
ct h
a
ndling of u
n
ary
+
o
p
eration
.
commit
|
commitdiff
|
tree
2017-01-26
Mihail Groza
Two usel
e
ss/empty
bison reductions rem
o
ved
.
commit
|
commitdiff
|
tree
2017-01-25
Mihail Groza
V
ar
i
ous minor fi
x
es for c
o
mpiler/linter (o
t
her then
.
.
.
commit
|
commitdiff
|
tree
2017-01-23
Mih
a
il Gro
z
a
So
m
e
c
lean-up o
f
memo
r
y routines (+ some regression
.
.
.
commit
|
commitdiff
|
tree
2017-01-21
Mih
a
il G
r
oza
Minor
changes to boolean inclusion/declara
t
i
o
ns/def
i
nition
s
.
commit
|
commitdiff
|
tree
2017-01-21
Mihail Groza
Mino
r
clean-up in hea
d
er
incl
u
sion (+
minor mo
v
e
s of
.
.
.
commit
|
commitdiff
|
tree
2017-01-21
Mihai
l
Groza
A
void so
m
e 'unused-*' (variable, para
m
et
e
r, function
.
.
.
commit
|
commitdiff
|
tree
2017-01-20
Mih
a
il Groza
Add 'v
o
id' as paramet
e
r list for
routines
with no arguments
.
commit
|
commitdiff
|
tree
2017-01-20
Mihail Groza
Warnings clea
n
-up
.
commit
|
commitdiff
|
tree
2017-01-19
Mi
h
ail Groza
Lots of chang
e
s,
m
ainly rega
r
ding
C
preprocesso
r
.
commit
|
commitdiff
|
tree
2016-12-17
Miha
i
l
G
r
o
za
Remove stupid U
N
A
ME/HOST_CPU use from code
(an
d
configure
.
a
c
)
commit
|
commitdiff
|
tree
2016-12-16
Mihai
l
Groza
Re
m
ove
f
rom (b
u
il
d
a
nd) reposi
t
o
ry (obviously) u
n
u
s
ed
.
.
.
commit
|
commitdiff
|
tree
next