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
Miha
i
l Groza
Fi
r
st part of transit
i
on from
not-functi
o
n header
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail
Groza
Co
n
s
istent naming of standard li
b
rary and headers
.
commit
|
commitdiff
|
tree
2017-03-14
Mi
h
ail
G
roza
Be a
b
it
less permissive
i
n
constraint expression pars
i
ng
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail Groza
Cosmetic
c
hanges t
o
C g
r
ammar file (no behavio
u
ral
.
.
.
commit
|
commitdiff
|
tree
2017-03-13
Mi
h
ail Groza
Yet another partial fix for https://bugs
.
debian
.
org
.
.
.
commit
|
commitdiff
|
tree
2017-03-13
Mihail Groza
P
a
rtial
fix for
ht
t
ps
:
//bugs
.
d
ebian
.
org/
6
26552
commit
|
commitdiff
|
tree
2017-03-13
Mihail Groza
Remove some unuse
d
to
k
e
ns
+
m
i
nor refactoring
commit
|
commitdiff
|
tree
2017-03-10
Mih
a
i
l
Groza
Clean some g
a
rbage
in prepr
o
ce
s
sor-scann
e
r interaction
commit
|
commitdiff
|
tree
2017-03-10
Mihai
l
Gro
z
a
Min
o
r abstra
c
tion
o
f C scanner
commit
|
commitdiff
|
tree
2017-03-10
M
i
hail Groza
M
ultip
l
e fixes t
o
s
t
ring literal han
d
ling
commit
|
commitdiff
|
tree
2017-03-10
Mihail
Groza
Minor tweak of test suite
commit
|
commitdiff
|
tree
2017-03-09
Mi
h
ail Gr
o
za
Remo
v
e custom support f
o
r __const
keyw
o
rd
.
commit
|
commitdiff
|
tree
2017-03-07
Mi
h
ail Groza
S
ilence a warni
n
g from Unde
f
ined
B
eh
a
vio
u
rSaniti
z
e
r
commit
|
commitdiff
|
tree
2017-03-07
Mihail
Gr
o
za
M
o
dify C
g
rammar file understa
n
ding of what initia
l
izer is
.
commit
|
commitdiff
|
tree
2017-03-07
Mihail Groza
Don't install heade
r
s used to build
S
plint libraries
commit
|
commitdiff
|
tree
2017-03-07
Mihail
Gr
o
za
Minor a
d
justment of POSI
X
libr
a
r
y
commit
|
commitdiff
|
tree
2017-03-06
Mihail Groza
Handle
possible
null
c
h
aracter inside st
r
ing literal
commit
|
commitdiff
|
tree
2017-03-06
Mihail Groza
Fix
for https://sf
.
n
e
t/p/
s
plint/bugs/15
commit
|
commitdiff
|
tree
2017-03-06
Mihail
G
roza
Minor refactorin
g
and cosmetic clean-up (n
o
behavioura
l
.
.
.
commit
|
commitdiff
|
tree
2017-03-02
Mihail Gro
z
a
F
i
x
library specification of ca
l
loc()
commit
|
commitdiff
|
tree
2017-03-02
Mih
a
il Groza
Minor
fix for
p
osi
x
librar
y
.
commit
|
commitdiff
|
tree
2017-02-28
Mihai
l
G
r
oza
Avoid unnecessary
t
es
t
ing when
c
oncatenat
i
ng ex
p
ressions
commit
|
commitdiff
|
tree
2017-02-28
Mihail Groza
Corre
c
t
order of variable initialization
.
commit
|
commitdiff
|
tree
2017-02-28
Mihail Groza
Add support for varia
b
l
e declaratio
n
in for initialization
.
.
.
commit
|
commitdiff
|
tree
2017-02-28
Mihail Groza
Minor cosmetic
clean-up
commit
|
commitdiff
|
tree
2017-02-27
Mi
h
ail Groza
Man page clean
-
up
.
commit
|
commitdiff
|
tree
2017-02-27
Mihail G
r
oza
C
o
r
rectio
n
fo
r
s
w
i
tch imbricate
d
wi
t
h
i
f/else block
.
commit
|
commitdiff
|
tree
2017-02-26
M
i
ha
i
l Gr
o
za
F
i
x
m
inor
inconsistencies
i
n library constants
commit
|
commitdiff
|
tree
2017-02-26
Mihai
l
Groz
a
Some dupli
c
at
i
on in ve
r
s
ion/name/da
t
e macros removed
commit
|
commitdiff
|
tree
2017-02-26
Miha
i
l Groza
Pr
e
vious submi
t
failed to updat
e
header na
m
e
in Makefile
.
.
.
commit
|
commitdiff
|
tree
2017-02-26
Mi
h
ail Groza
Small refactoring without any behavi
o
r
al changes
.
commit
|
commitdiff
|
tree
2017-02-26
M
ihail Groza
Cosme
t
i
c relat
e
d refactoring (no behavioural changes)
commit
|
commitdiff
|
tree
2017-02-25
Mihail
G
r
o
za
Minor refactoring (no
f
unctionalit
y
change) of
C grammar
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
Fix
a
parsing
e
r
r
o
r in i
n
itializati
o
n
of enume
r
ation
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mi
h
ail
Gr
o
z
a
Minor update to stand
a
rd/u
n
ix
l
ibra
r
y
.
commit
|
commitdiff
|
tree
2017-02-24
Mi
h
ail Groza
Fix
handling of Duff's devi
c
e
i
mpl
e
m
e
n
t
ed using fo
r
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
Minor
strength
e
ning of asserts
.
commit
|
commitdiff
|
tree
2017-02-24
Mih
a
i
l
G
roza
Fix pr
o
cess
i
ng error for variables
of
t
ype function
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
M
i
h
a
il
G
roza
Work
-
ar
o
und for failure to se
l
f-c
h
e
c
k
.
commit
|
commitdiff
|
tree
2017-02-22
Mihail Groza
Support for hh length modifier in printf/sca
n
f
-lik
e
.
.
.
commit
|
commitdiff
|
tree
2017-02-22
Mih
a
il Groza
Clean-up q
u
al
i
fier mixing
.
commit
|
commitdiff
|
tree
2017-02-20
M
ihail Groza
Al
l
o
w
m
i
xed statements
and
variabl
e
d
e
clarati
o
ns
(as
.
.
.
commit
|
commitdiff
|
tree
2017-02-20
Mihail G
r
o
z
a
Mi
n
or cosmetic
clean-up
.
commit
|
commitdiff
|
tree
2017-02-20
Mihai
l
Groza
Cosmetic ch
a
nge
s
to error printing
.
commit
|
commitdiff
|
tree
2017-02-17
Mih
a
il
G
roza
Fix build
of impor
t
s (miss
i
ng pa
t
h)
.
commit
|
commitdiff
|
tree
2017-02-17
M
ihail Groza
Fix bug exposed
by a pre
v
ious
comm
i
t
.
commit
|
commitdiff
|
tree
2017-02-15
Mihail G
r
oza
Small refac
t
or
i
ng
o
f
C
gramm
a
r file
.
commit
|
commitdiff
|
tree
2017-02-15
Mihail G
r
oz
a
Le
s
s permissive syntax f
o
r
no
t
reached comment
.
commit
|
commitdiff
|
tree
2017-02-15
Mi
h
a
il Groza
Avo
i
d
unnecessary parsing conflicts due to type
/
id
.
.
.
commit
|
commitdiff
|
tree
2017-02-14
Mi
h
ail
G
roza
Corrected inconsi
s
tency in handling preprocessor
def
i
nitions
.
commit
|
commitdiff
|
tree
2017-02-12
M
i
hail
G
r
oza
R
e
mo
v
e
s
plint-
g
enerated files
f
rom dis
t
ribution
.
commit
|
commitdiff
|
tree
2017-02-12
Mihail Groza
Tweak
ignore rul
e
s
for
g
ene
r
ated files
.
commit
|
commitdiff
|
tree
2017-02-12
M
i
hail Groz
a
Smarter way of gen
e
rating flag
c
odes header
.
commit
|
commitdiff
|
tree
2017-02-12
M
ih
a
il Gro
z
a
Cl
e
an-up flags definitions
commit
|
commitdiff
|
tree
2017-02-10
Mihail Groza
No need to save
(generated) spec files in repository
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail Gro
z
a
More tweaking of ignores
.
commit
|
commitdiff
|
tree
2017-02-10
M
i
hail Groza
Repository clean-up
+ ignores update
commit
|
commitdiff
|
tree
2017-02-10
Mihail Groza
Re
m
o
v
e us
e
s
of
a
bort
+
cosmetic c
h
ang
e
s
in
p
r
e
processor
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mih
a
i
l
Gr
o
za
Moved
h
e
a
der d
e
p
e
ndent macro from the
n
ev
e
r-include
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail Gr
o
z
a
M
ake BAD* m
a
cro
s
u
s
e
custo
m
exit
.
commit
|
commitdiff
|
tree
2017-02-09
M
i
hail
Gr
o
za
Make sur
e
memory cl
e
an-up is done on exits
.
commit
|
commitdiff
|
tree
2017-02-09
Mihai
l
Groza
C
o
smetic changes
t
o som
e
e
r
ror ha
n
dling
macros
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Gro
z
a
Fix use-after-
f
ree det
e
ct
e
d by v
a
l
g
r
i
n
d
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Gr
o
z
a
Minor
w
arning
s
/dup
l
icates/cosm
e
tic cle
a
n-up
.
commit
|
commitdiff
|
tree
2017-02-09
Miha
i
l G
r
oza
Re-
a
c
tivate some cl
e
an-up tha
t
was skipped
.
commit
|
commitdiff
|
tree
2017-02-07
Mi
h
ail Groza
Preprocessor hash routines n
o
l
onge
r
compu
t
e name length
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
Plug
a
m
emory l
e
ak in prepr
o
c
essor handling of define
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mi
h
ail
Groza
Reco
g
nize missing
pa
r
ameter in
m
acr
o
d
efinitions
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail
G
roza
Added checks for i
n
c
o
rr
e
ct u
s
age o
f
__
V
A_ARG
S
_
_ (ISO
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
M
i
hail
G
roza
Preproce
s
s
or
s
tops pr
o
cessi
n
g
directives with wr
o
ng
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mih
a
il Groza
Another mi
n
or
refactoring of preprocessor
library
.
commit
|
commitdiff
|
tree
2017-02-07
M
i
hail Groza
S
m
all refacto
r
ing of preprocessor library
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Groza
Minor r
e
facto
r
i
n
g of prepro
c
essor functionali
t
y
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Gro
z
a
Minor clean-up of
test makefile
.
commit
|
commitdiff
|
tree
2017-02-06
M
i
h
ail Groza
Added support for varia
d
ic macros (as in C99)
.
commit
|
commitdiff
|
tree
2017-02-06
Mih
a
il
Groza
A
dd
e
d mi
s
sing
c
as
e
s in
s
wi
t
ch
.
commit
|
commitdiff
|
tree
2017-02-03
M
i
hai
l
Groza
Fix
bug detecting standard header fi
l
es
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Gro
z
a
F
i
x fo
r
preprocessor redefinition of a enum constant
.
.
.
commit
|
commitdiff
|
tree
2017-02-03
Miha
i
l Groza
C
osmetic changes (split from upcoming c
o
mmit)
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail
G
roza
Cosmetic ch
a
ng
e
s
t
o C grammar
commit
|
commitdiff
|
tree
2017-02-03
Mihai
l
G
roz
a
R
e
m
ove useless
gr
a
mmar ru
l
e
.
commit
|
commitdiff
|
tree
2017-02-03
M
ihail Groz
a
M
ad
e
sure
all empty ru
l
es are explict (and consistent)
commit
|
commitdiff
|
tree
2017-02-03
Mihail
G
roza
Fi
x
parsing iss
u
e (intr
o
duced by me)
.
commit
|
commitdiff
|
tree
2017-02-01
Miha
i
l Groza
Issue in old merge related to
'nes
t
comment' com
m
e
n
t
.
commit
|
commitdiff
|
tree
2017-02-01
Mihail G
r
oza
Some code clean-up of preprocessor code
.
commit
|
commitdiff
|
tree
2017-01-31
M
i
h
a
il Groza
Mino
r
changes aimed a
t
be
t
t
e
r
self-checking
.
commit
|
commitdiff
|
tree
2017-01-31
Mihail Groz
a
Cle
a
n-up of flags controling tracing of
b
ison g
e
n
erate
d
.
.
.
commit
|
commitdiff
|
tree
2017-01-31
Mihail Groz
a
Minor fixes for glitches i
n
cstring
.
commit
|
commitdiff
|
tree
2017-01-26
Mihail
G
roza
Correct handling of unary
+
o
p
er
a
tio
n
.
commit
|
commitdiff
|
tree
2017-01-26
M
ihail Groza
T
w
o useles
s
/empty bison red
u
ctions rem
o
v
e
d
.
commit
|
commitdiff
|
tree
2017-01-25
Mi
h
ail G
r
oza
V
a
ri
o
us minor fixes for
compiler/linter (other t
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2017-01-23
Mihail Gr
o
za
Some clean-up o
f
memory r
o
utines (+ s
o
me
regressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2017-01-21
Mihail
Groza
M
i
nor
change
s
to
b
oole
a
n inc
l
us
i
on/
d
ec
l
a
ration
s
/
definitions
.
commit
|
commitdiff
|
tree
2017-01-21
Mihail Groza
Mino
r
clean-up in
h
ea
d
er inclusion (+
m
ino
r
moves
of
.
.
.
commit
|
commitdiff
|
tree
2017-01-21
Mihail G
r
oza
Avoid some 'unu
s
ed
-
*' (variable, p
a
r
a
meter, function
.
.
.
commit
|
commitdiff
|
tree
2017-01-20
Mi
h
ail Groza
Add 'vo
i
d'
a
s p
a
rameter list for
r
o
u
t
ines w
i
th no arguments
.
commit
|
commitdiff
|
tree
2017-01-20
Mihail Groza
Warnings clean-up
.
commit
|
commitdiff
|
tree
2017-01-19
Mih
a
il G
r
oza
Lot
s
of ch
a
n
ges,
ma
i
n
ly
regarding C
p
reprocessor
.
commit
|
commitdiff
|
tree
2016-12-17
Mihail Groza
Remove stupi
d
UNAME/HOST_CPU u
s
e from code (an
d
configure
.
ac)
commit
|
commitdiff
|
tree
2016-12-16
Mihail Groza
Remove
fr
o
m
(bui
l
d
a
nd) r
e
po
s
itory
(
ob
v
iously) unused
.
.
.
commit
|
commitdiff
|
tree
next