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 Groza
Fi
r
st pa
r
t of
t
ran
s
i
t
ion from
not-function he
a
der
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail G
r
oza
Co
n
si
s
te
n
t nami
n
g of standard li
b
rary and headers
.
commit
|
commitdiff
|
tree
2017-03-14
M
i
h
ail Groza
B
e
a
b
it
l
ess
p
ermissive
i
n
c
o
ns
t
raint expression
p
arsing
.
commit
|
commitdiff
|
tree
2017-03-14
Mihai
l
Groza
Co
s
metic changes to C grammar fi
l
e
(
no behavio
u
r
a
l
.
.
.
commit
|
commitdiff
|
tree
2017-03-13
M
ihail G
r
oza
Y
e
t ano
t
her par
t
ial fix for https://bugs
.
debia
n
.
org
.
.
.
commit
|
commitdiff
|
tree
2017-03-13
Miha
i
l
Groza
Par
t
ial fix for ht
t
ps://bug
s
.
de
b
ian
.
o
rg/626552
commit
|
commitdiff
|
tree
2017-03-13
Mihai
l
Groza
Re
m
ove some un
u
s
e
d t
o
kens +
minor
r
efactori
n
g
commit
|
commitdiff
|
tree
2017-03-10
M
i
h
a
il Groza
Clean
s
ome garb
a
ge
i
n
pr
e
processo
r
-scanner intera
c
tion
commit
|
commitdiff
|
tree
2017-03-10
M
i
h
a
il Groza
Min
o
r
a
bstraction of C
s
canner
commit
|
commitdiff
|
tree
2017-03-10
Mihail Groza
M
ultiple fixes to strin
g
lite
r
al handl
i
ng
commit
|
commitdiff
|
tree
2017-03-10
Mihail Groza
Minor tweak o
f
test suite
commit
|
commitdiff
|
tree
2017-03-09
Mihail
Groza
R
e
move custom s
u
pp
o
rt f
o
r __const
k
eyword
.
commit
|
commitdiff
|
tree
2017-03-07
Mi
h
ail Groza
Silenc
e
a warning from Un
d
efinedBehaviou
r
Sanitizer
commit
|
commitdiff
|
tree
2017-03-07
Mihail Gr
o
za
Modi
f
y C grammar file understanding of what initializ
e
r
is
.
commit
|
commitdiff
|
tree
2017-03-07
M
ih
a
il G
r
oza
Don't install headers used
t
o
bui
l
d Splint l
i
b
raries
commit
|
commitdiff
|
tree
2017-03-07
M
i
hail
Groza
Min
o
r adjus
t
ment of POSIX library
commit
|
commitdiff
|
tree
2017-03-06
Mihail
Gro
z
a
Handle possible nu
l
l character
in
s
ide string literal
commit
|
commitdiff
|
tree
2017-03-06
Mihail Groza
Fix fo
r
https://sf
.
net
/
p/splint/bug
s
/15
commit
|
commitdiff
|
tree
2017-03-06
Mihail Groza
Minor refact
o
ri
n
g and
c
osm
e
tic clea
n
-u
p
(n
o
beha
v
i
o
ural
.
.
.
commit
|
commitdiff
|
tree
2017-03-02
M
ihail
G
roza
Fix library specification of calloc()
commit
|
commitdiff
|
tree
2017-03-02
Mihail Groza
Minor fix for posi
x
library
.
commit
|
commitdiff
|
tree
2017-02-28
Mihail Groza
Avo
i
d unnecess
a
r
y testin
g
when co
n
catenat
i
ng exp
r
e
s
s
io
n
s
commit
|
commitdiff
|
tree
2017-02-28
Mihail Gr
o
z
a
Correc
t
order of variable initi
a
lization
.
commit
|
commitdiff
|
tree
2017-02-28
Mihail G
r
oza
Add s
u
pport for variable decla
r
ation in for init
i
al
i
zation
.
.
.
commit
|
commitdiff
|
tree
2017-02-28
Mihail Groza
M
i
nor cosmeti
c
cl
e
an-up
commit
|
commitdiff
|
tree
2017-02-27
Mihai
l
Groza
Ma
n
page c
l
ean
-
up
.
commit
|
commitdiff
|
tree
2017-02-27
M
i
hail
G
r
oza
Co
r
r
ection for switch im
b
ricated w
i
th if/
e
ls
e
bloc
k
.
commit
|
commitdiff
|
tree
2017-02-26
Mihail Groza
Fi
x
min
o
r inconsistencies in library cons
t
ants
commit
|
commitdiff
|
tree
2017-02-26
Mihail Gro
z
a
Some dup
l
icati
o
n in
version/name/date macros remov
e
d
commit
|
commitdiff
|
tree
2017-02-26
M
i
hai
l
Groz
a
P
r
evious su
b
mit fai
l
e
d to update header name in Makefile
.
.
.
commit
|
commitdiff
|
tree
2017-02-26
Mihail Groza
Smal
l
refacto
r
ing
without
a
ny
b
e
h
avioral cha
n
ges
.
commit
|
commitdiff
|
tree
2017-02-26
Mih
a
il G
r
oza
Cosmet
i
c
r
elat
e
d refactoring (no behaviour
a
l changes
)
commit
|
commitdiff
|
tree
2017-02-25
M
ihai
l
G
r
oza
Minor refacto
r
ing (no fu
n
c
tional
i
t
y
change) o
f
C grammar
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
Fix a parsing err
o
r in
i
niti
a
liza
t
ion of enum
e
r
a
tion
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
M
i
nor u
p
date to s
t
an
d
a
r
d/unix library
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail
Gro
z
a
Fix handling of
D
uff's device
i
mplemented usi
n
g
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
M
ih
a
il Groza
Mi
n
or strengtheni
n
g of asserts
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail G
r
oza
Fix proc
e
ssing error
f
o
r variable
s
of type function
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mihai
l
Groza
Work-arou
n
d for failure to self-check
.
commit
|
commitdiff
|
tree
2017-02-22
Mihail G
r
oza
Suppor
t
f
o
r
hh length modifier in printf/scanf
-
like
.
.
.
commit
|
commitdiff
|
tree
2017-02-22
Mih
a
il
Groz
a
Clean-
u
p qual
i
fier mixing
.
commit
|
commitdiff
|
tree
2017-02-20
Mihail Groza
Allow mixed sta
t
ements and variable de
c
lar
a
t
i
ons
(
as
.
.
.
commit
|
commitdiff
|
tree
2017-02-20
Mihail
G
roza
M
i
n
o
r
co
s
m
e
tic
c
le
a
n-up
.
commit
|
commitdiff
|
tree
2017-02-20
M
ihai
l
G
roza
Cosmetic c
h
an
g
es
to erro
r
printing
.
commit
|
commitdiff
|
tree
2017-02-17
Mihail
Groza
F
i
x
b
uild of imp
o
rts
(missing pat
h
)
.
commit
|
commitdiff
|
tree
2017-02-17
Mihail Groz
a
F
ix bug
expo
s
ed by a previous comm
i
t
.
commit
|
commitdiff
|
tree
2017-02-15
Mihail Groza
Small refactori
n
g
o
f
C
grammar file
.
commit
|
commitdiff
|
tree
2017-02-15
Mihail Groza
Le
s
s permissi
v
e
s
yntax for not
r
eached commen
t
.
commit
|
commitdiff
|
tree
2017-02-15
M
i
h
ai
l
Groza
Avoid unnecessary
p
a
r
s
ing c
o
nflicts due to
t
ype/id
.
.
.
commit
|
commitdiff
|
tree
2017-02-14
M
i
hail G
r
oza
Correct
e
d inconsistency in handling preprocess
o
r defin
i
tions
.
commit
|
commitdiff
|
tree
2017-02-12
Mihail Gr
o
z
a
R
e
move splint-generated files from
dist
r
i
bution
.
commit
|
commitdiff
|
tree
2017-02-12
Mihail Gro
z
a
T
weak ig
n
o
re ru
l
e
s
for generated
f
iles
.
commit
|
commitdiff
|
tree
2017-02-12
Mihail Groza
Sm
a
rter way of gene
r
a
t
i
n
g
flag
c
odes head
e
r
.
commit
|
commitdiff
|
tree
2017-02-12
Mihail Groza
Cl
e
an-up f
l
ags d
e
fin
i
tions
commit
|
commitdiff
|
tree
2017-02-10
M
i
h
a
il Groza
No need to
s
a
v
e (generated)
s
p
ec f
i
les in
repositor
y
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
M
i
hail Groza
More tweaking of ig
n
o
res
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail G
r
oza
Repository clean-up + i
g
nores u
p
date
commit
|
commitdiff
|
tree
2017-02-10
Miha
i
l Groza
R
e
move uses of abo
r
t + cosme
t
ic cha
n
ges in prepr
o
cessor
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail Gr
o
z
a
M
o
v
ed h
e
ader d
e
pendent macro from the never-
i
nclude
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
M
i
hail Groza
Make BAD* macros use cust
o
m
exit
.
commit
|
commitdiff
|
tree
2017-02-09
M
i
ha
i
l G
r
oza
M
a
ke
sure me
m
o
r
y clean-up i
s
done on exits
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail G
r
oza
Cosmetic chan
g
es
t
o some error handlin
g
macro
s
.
commit
|
commitdiff
|
tree
2017-02-09
Mihai
l
Groza
Fix
u
se
-
after-fre
e
d
etec
t
ed by valgrind
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail
G
r
o
za
Minor
w
arnings
/
duplicates
/
cosmetic clean-up
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Groza
Re
-
activate some
clea
n
-up tha
t
wa
s
skipped
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
Preproces
s
or hash routines
no longer
c
o
m
pu
t
e name length
commit
|
commitdiff
|
tree
2017-02-07
Mihail Gro
z
a
Plug
a
m
e
m
ory leak in
preproc
e
ssor handling of
d
efine
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
Recognize miss
i
n
g
p
a
ra
m
eter in macro d
e
finitions
.
commit
|
commitdiff
|
tree
2017-02-07
M
i
h
ai
l
Groza
Added check
s
fo
r
incor
r
ect usage o
f
__V
A
_AR
G
S__ (ISO
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Miha
i
l Groza
P
r
eprocessor stop
s
processing directives with wrong
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail
Groza
Another minor refacto
r
ing of prep
r
o
c
essor library
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
Small refactori
n
g o
f
prep
r
o
cesso
r
library
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Gr
o
z
a
Mi
n
or refactoring
o
f preproce
s
so
r
functionality
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Groza
M
i
nor clean
-
up of
t
e
st ma
k
efile
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Gr
o
za
Added
suppor
t
for varia
d
i
c
mac
r
o
s (as in C9
9
)
.
commit
|
commitdiff
|
tree
2017-02-06
Mi
h
ail Groza
Added missing
c
a
s
es in
s
witch
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groz
a
Fix bug dete
c
t
ing
sta
n
d
ard header files
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail
Groza
F
i
x fo
r
prepro
c
essor redefi
n
ition of
a
enum co
n
stan
t
.
.
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groza
Cosmetic changes (spl
i
t fro
m
upcomi
n
g commit)
.
commit
|
commitdiff
|
tree
2017-02-03
Mihai
l
Groza
Cosme
t
ic changes
to C grammar
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groza
Remove useless
g
rammar rule
.
commit
|
commitdiff
|
tree
2017-02-03
M
ihail Gr
o
za
M
a
d
e sure all empty rules are
e
xplict (and consi
s
tent)
commit
|
commitdiff
|
tree
2017-02-03
M
i
ha
i
l Groza
Fix parsing issue (intro
d
uce
d
by me)
.
commit
|
commitdiff
|
tree
2017-02-01
Mihai
l
G
roza
Issu
e
i
n
old
merge related to 'nestcomment' comment
.
commit
|
commitdiff
|
tree
2017-02-01
Mihail Gro
z
a
Some code clea
n
-up
of preprocessor code
.
commit
|
commitdiff
|
tree
2017-01-31
Mihail Groza
Minor chan
g
es aimed at
bette
r
self-
c
hecking
.
commit
|
commitdiff
|
tree
2017-01-31
Mihail
Groza
Clean-up of
flags con
t
roling traci
n
g
of bison gen
e
rated
.
.
.
commit
|
commitdiff
|
tree
2017-01-31
Mihail Groza
Minor fixes for glitc
h
es in cstring
.
commit
|
commitdiff
|
tree
2017-01-26
Mihail Gro
z
a
Correc
t
handl
i
ng
o
f
una
r
y + oper
a
tion
.
commit
|
commitdiff
|
tree
2017-01-26
M
ih
a
il Groza
Two useless/empty b
i
s
o
n
reduction
s
r
emoved
.
commit
|
commitdiff
|
tree
2017-01-25
Mihail Groza
V
arious minor fixes for compiler
/
l
i
nter (ot
h
er then
.
.
.
commit
|
commitdiff
|
tree
2017-01-23
Mihail
G
ro
z
a
S
o
m
e clean-up of memor
y
routines (+ some re
g
ression
.
.
.
commit
|
commitdiff
|
tree
2017-01-21
Mihail Groza
Minor
changes to boolean incl
u
sion
/
d
e
c
lar
a
tion
s
/definitions
.
commit
|
commitdiff
|
tree
2017-01-21
Mihai
l
G
roza
Minor clean-up in he
a
der
i
n
clu
s
i
on (+ minor moves of
.
.
.
commit
|
commitdiff
|
tree
2017-01-21
Mi
h
ail Groza
Avoid some 'u
n
used
-
*' (variab
l
e, parameter, function
.
.
.
commit
|
commitdiff
|
tree
2017-01-20
Mihail Groza
A
d
d
'void' as parameter list
f
or
routines with
n
o
argum
e
nts
.
commit
|
commitdiff
|
tree
2017-01-20
Mihail Groza
W
a
rning
s
clea
n
-up
.
commit
|
commitdiff
|
tree
2017-01-19
Mihail Groza
L
o
ts
o
f
c
hanges, mainly r
e
ga
r
ding C
preprocessor
.
commit
|
commitdiff
|
tree
2016-12-17
Mihail Gro
z
a
Remove
s
tupid UNAME/
H
O
S
T
_
CPU u
s
e fr
o
m code (and con
f
ig
u
re
.
ac)
commit
|
commitdiff
|
tree
2016-12-16
Miha
i
l
Groza
Remove from (bu
i
ld a
n
d
) re
p
osi
t
o
r
y (obviously
)
unused
.
.
.
commit
|
commitdiff
|
tree
next