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
Don't try calling lsl when file is missing.
2017-03-27
M
i
h
a
i
l
Groza
Don't try calli
n
g lsl
w
h
en file is mis
s
in
g
.
commit
|
commitdiff
|
tree
2017-03-27
Mihail Gr
o
za
More refac
t
o
ring of librar
y
support
.
commit
|
commitdiff
|
tree
2017-03-26
Mi
h
ail Groza
Remove unu
s
e
d
headers (for li
b
ra
r
y)
f
rom repository
commit
|
commitdiff
|
tree
2017-03-26
M
i
h
ail G
r
oza
Mo
r
e refac
t
or
i
n
g
an
d
completion
o
f
lib
r
a
ry
.
commit
|
commitdiff
|
tree
2017-03-26
M
i
ha
i
l Groza
D
elete unused
s
o
urce file
from rep
o
si
t
o
r
y
.
commit
|
commitdiff
|
tree
2017-03-26
Mihail Groza
Re
f
actoring
o
f
(mostly UNIX re
l
ated)
library
.
commit
|
commitdiff
|
tree
2017-03-21
Mihail Groza
F
i
x build
f
ail
.
commit
|
commitdiff
|
tree
2017-03-21
Mihail Groza
U
p
date buil
d
t
o
fix in-plac
e
bu
i
l
ds
.
commit
|
commitdiff
|
tree
2017-03-21
Mi
h
ail G
r
oza
Split the s
t
andard & p
o
six
specification
i
n
t
o ind
i
v
i
d
u
a
l
.
.
.
commit
|
commitdiff
|
tree
2017-03-17
M
ihai
l
G
roza
Some fil
e
mov
i
ng in rep
o
sito
r
y
.
commit
|
commitdiff
|
tree
2017-03-15
Mih
a
il
Gr
o
z
a
S
ome
clean-u
p
in arguments pass
e
d
for
s
e
lf
-
check
commit
|
commitdiff
|
tree
2017-03-15
Mihail Groza
Removed some useless
/
false comments
commit
|
commitdiff
|
tree
2017-03-15
Mihail
G
ro
z
a
Fix
s
el
f
-che
c
k du
e
t
o previous commit
commit
|
commitdiff
|
tree
2017-03-15
Miha
i
l
G
roz
a
Some co
n
s
i
s
t
e
n
cy changes t
o
libr
a
ry
& headers f
l
ags
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail Groza
Fix parsing fai
l
u
re for self
-
check
.
commit
|
commitdiff
|
tree
2017-03-14
Mihai
l
Groza
Avoid impl
i
cit ini
t
ialization + minor refac
t
oring
.
commit
|
commitdiff
|
tree
2017-03-14
M
ihail
G
roza
Chan
g
e
negative name for boo
l
ean fl
a
g
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail Groza
Second
(and last)
p
art
o
f transition from not-functi
o
n
.
.
.
commit
|
commitdiff
|
tree
2017-03-14
M
i
hail
G
r
o
z
a
First part of trans
i
tion from not-function h
e
ader
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail
G
r
o
z
a
Consistent nami
n
g of st
a
n
dar
d
lib
r
ary and h
e
a
d
ers
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail Groza
Be
a bit less permissive in cons
t
raint expr
e
ss
i
o
n parsing
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail Groz
a
C
o
s
metic cha
n
ge
s
t
o
C grammar file
(
no behavio
u
ral
.
.
.
commit
|
commitdiff
|
tree
2017-03-13
Mihail Groza
Y
e
t an
o
ther partial fix for https://bugs
.
debian
.
o
rg
.
.
.
commit
|
commitdiff
|
tree
2017-03-13
Mihail Groza
Pa
r
tial f
i
x for
h
ttp
s
://bugs
.
d
e
bian
.
org/626552
commit
|
commitdiff
|
tree
2017-03-13
Mihail
G
roza
Remove some unused
tokens + mi
n
or
r
efactoring
commit
|
commitdiff
|
tree
2017-03-10
Mihail Groz
a
Clea
n
some garb
a
ge in preprocessor-scanner i
n
terac
t
ion
commit
|
commitdiff
|
tree
2017-03-10
M
ihail Groza
Minor abstractio
n
of C sc
a
nne
r
commit
|
commitdiff
|
tree
2017-03-10
Mihail Gro
z
a
Mult
i
p
l
e fixes to string literal
handling
commit
|
commitdiff
|
tree
2017-03-10
Miha
i
l
G
roza
Mino
r
tweak of test su
i
te
commit
|
commitdiff
|
tree
2017-03-09
Mihail Gro
z
a
Remove custom support for __const keyword
.
commit
|
commitdiff
|
tree
2017-03-07
Mihai
l
Groza
Silence a
w
a
rning from Undefine
d
BehaviourSanit
i
zer
commit
|
commitdiff
|
tree
2017-03-07
Mihail Groz
a
Modi
f
y C gram
m
ar file un
d
ersta
n
ding of what initializer is
.
commit
|
commitdiff
|
tree
2017-03-07
Mi
h
ail
G
ro
z
a
Don't inst
a
ll headers used to bui
l
d Splint libraries
commit
|
commitdiff
|
tree
2017-03-07
Mihail Gro
z
a
M
inor
adjustment of
POSIX li
b
rar
y
commit
|
commitdiff
|
tree
2017-03-06
Mihail Groza
Handle possible null characte
r
i
nside
s
trin
g
literal
commit
|
commitdiff
|
tree
2017-03-06
Mih
a
il Groza
F
i
x for
https://sf
.
net/p
/
s
p
lint/bu
g
s/15
commit
|
commitdiff
|
tree
2017-03-06
Mihail Groza
Mino
r
re
f
actori
n
g
a
nd cosm
e
tic clean-up (no behavioural
.
.
.
commit
|
commitdiff
|
tree
2017-03-02
Mihail Gro
z
a
Fi
x
library specificatio
n
of call
o
c(
)
commit
|
commitdiff
|
tree
2017-03-02
Mihail
G
roz
a
Min
o
r
fix for posix library
.
commit
|
commitdiff
|
tree
2017-02-28
M
i
hail Groza
A
v
oid unnecessary testing whe
n
co
n
c
a
tena
t
ing
expressions
commit
|
commitdiff
|
tree
2017-02-28
M
ihail Gr
o
z
a
C
o
rrect order of va
r
i
ab
l
e in
i
tializatio
n
.
commit
|
commitdiff
|
tree
2017-02-28
M
ihai
l
Groza
Add support
f
or variable declaration in f
o
r i
n
itializ
a
tion
.
.
.
commit
|
commitdiff
|
tree
2017-02-28
Mihail Gr
o
za
Minor
cosm
e
t
ic
c
l
ean-up
commit
|
commitdiff
|
tree
2017-02-27
Mihail Groza
Man page clean-up
.
commit
|
commitdiff
|
tree
2017-02-27
Mihail G
r
oza
Cor
r
ection for switch imbricated with if/else block
.
commit
|
commitdiff
|
tree
2017-02-26
Mihail Gro
z
a
Fix minor i
n
cons
i
stencies i
n
library con
s
tants
commit
|
commitdiff
|
tree
2017-02-26
M
iha
i
l Gro
z
a
Some duplication
i
n version/name/date ma
c
ro
s
removed
commit
|
commitdiff
|
tree
2017-02-26
M
i
hail Gro
z
a
Previou
s
s
u
bmit fail
e
d to
update h
e
ader name i
n
M
akefile
.
.
.
commit
|
commitdiff
|
tree
2017-02-26
Mihail Groza
Small
refactor
i
ng
without any
b
e
h
a
v
ioral
changes
.
commit
|
commitdiff
|
tree
2017-02-26
M
ihail
Groza
C
o
smetic related re
f
actoring
(
no behavioural chan
g
es)
commit
|
commitdiff
|
tree
2017-02-25
Mih
a
il G
r
oza
Minor
refactoring (no
f
un
c
tionality change) of C
g
ramma
r
.
commit
|
commitdiff
|
tree
2017-02-24
M
iha
i
l Groza
Fix a parsing
e
rro
r
in init
i
ali
z
ation of enumeratio
n
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
M
i
n
o
r update to stand
a
rd/u
n
ix
library
.
commit
|
commitdiff
|
tree
2017-02-24
Miha
i
l
Groza
Fix handli
n
g of Duff's
d
e
vice implemented using
f
or
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groz
a
M
ino
r
stre
n
gthenin
g
of a
s
serts
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Gr
o
za
Fix proces
s
i
n
g error fo
r
variables o
f
type f
u
n
c
tion
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mihai
l
Groza
Work-around
f
or fai
l
ure to self-chec
k
.
commit
|
commitdiff
|
tree
2017-02-22
Mihail Groza
Support for h
h
l
eng
t
h mo
d
ifi
e
r in p
r
i
ntf/s
c
anf-like
.
.
.
commit
|
commitdiff
|
tree
2017-02-22
M
ihail G
r
oza
C
l
ean-up qu
a
lifi
e
r mixing
.
commit
|
commitdiff
|
tree
2017-02-20
Mihail Groza
Allow mi
x
e
d
statements and variab
l
e
d
ec
l
arations (as
.
.
.
commit
|
commitdiff
|
tree
2017-02-20
Miha
i
l Groza
M
i
nor cosm
e
tic clean-up
.
commit
|
commitdiff
|
tree
2017-02-20
Mi
h
ail G
r
oza
Cosmetic changes to error
pr
i
nting
.
commit
|
commitdiff
|
tree
2017-02-17
M
i
hai
l
Gro
z
a
Fix
build
o
f imports (m
i
ssing path)
.
commit
|
commitdiff
|
tree
2017-02-17
Mihai
l
Groza
Fix bug exp
o
sed
by a previous commit
.
commit
|
commitdiff
|
tree
2017-02-15
Mi
h
a
il
G
roza
S
m
al
l
refactoring of
C
g
r
a
mmar file
.
commit
|
commitdiff
|
tree
2017-02-15
M
i
hai
l
Groza
Le
s
s
permissive synta
x
for no
t
reached comment
.
commit
|
commitdiff
|
tree
2017-02-15
Miha
i
l G
r
oza
Avoid unnecessary parsing
conflict
s
due to t
y
p
e
/
i
d
.
.
.
commit
|
commitdiff
|
tree
2017-02-14
M
i
hail Groza
Corrected inconsisten
c
y
in
handling preproce
s
sor definiti
o
ns
.
commit
|
commitdiff
|
tree
2017-02-12
Mihail Groza
Remov
e
splint
-
gen
e
rate
d
file
s
from dist
r
ibution
.
commit
|
commitdiff
|
tree
2017-02-12
Mi
h
ail
G
r
oza
Twe
a
k i
g
no
r
e rule
s
for generated files
.
commit
|
commitdiff
|
tree
2017-02-12
M
ihail Groza
Smart
e
r
w
ay of g
e
nera
t
ing
flag codes header
.
commit
|
commitdiff
|
tree
2017-02-12
Mihail G
r
oza
Clean-up
f
lags definitions
commit
|
commitdiff
|
tree
2017-02-10
Miha
i
l Groza
No need to save (gene
r
ated) spec
files in
r
epository
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mih
a
il Groza
M
ore tweakin
g
o
f
ign
o
res
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail Gro
z
a
Repo
s
itory cl
e
an-
u
p
+ ignores up
d
ate
commit
|
commitdiff
|
tree
2017-02-10
Mih
a
il G
r
oz
a
R
e
m
o
ve u
s
es of ab
o
rt + cosmetic changes i
n
pre
p
roces
s
or
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mi
h
a
i
l
Groza
M
o
v
ed header depend
e
nt macro from
t
h
e
never-in
c
lud
e
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail Groza
Make BAD* macro
s
use cust
o
m exit
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail
G
r
oza
M
a
ke sure
m
e
mory clean-up is done on exi
t
s
.
commit
|
commitdiff
|
tree
2017-02-09
M
i
hail Groza
Cosmetic cha
n
g
e
s to
some
e
rror h
a
ndling mac
r
os
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Gro
z
a
Fix use
-
after-fre
e
detected by valgrin
d
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail
Groza
Minor wa
r
nings/dupli
c
a
t
es/
c
osmetic c
l
e
a
n
-
up
.
commit
|
commitdiff
|
tree
2017-02-09
Miha
i
l
Groza
R
e
-ac
t
i
va
t
e some
c
lean-up that was skippe
d
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
P
r
eprocessor hash
routines no
longer compute name le
n
gth
commit
|
commitdiff
|
tree
2017-02-07
Miha
i
l Groz
a
Pl
u
g
a memo
r
y l
e
ak in p
r
eprocessor handl
i
ng of def
i
ne
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mi
h
ail
G
r
o
za
Recognize
m
issing parameter in macro definitions
.
commit
|
commitdiff
|
tree
2017-02-07
M
ihail Groza
Add
e
d
c
h
ecks for in
c
orrect u
s
age of __VA_
A
RGS__
(
ISO
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail G
r
o
z
a
Prepr
o
c
essor stops processing dire
c
tives
w
ith wrong
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
M
i
hail Groza
Another minor refactori
n
g
o
f
p
r
eprocessor library
.
commit
|
commitdiff
|
tree
2017-02-07
Mihai
l
Groza
Small
refactor
i
ng of prepro
c
essor library
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Groza
M
inor ref
a
ctoring
o
f
preprocessor functionality
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail
G
roza
Minor clean
-
up of test makefile
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Groza
Added supp
o
rt for
v
aria
d
ic macr
o
s (as in
C
99)
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Groza
Added missi
n
g case
s
in switch
.
commit
|
commitdiff
|
tree
2017-02-03
M
i
hail Groza
Fi
x
bug detecting stan
d
ard hea
d
er
fi
l
es
.
commit
|
commitdiff
|
tree
2017-02-03
Mih
a
il Groza
Fix for pre
p
roce
s
s
or rede
f
i
n
i
t
ion of a enum constant
.
.
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groza
C
o
sme
t
ic ch
a
nges (spli
t
from upcoming
commit)
.
commit
|
commitdiff
|
tree
2017-02-03
Mi
h
ail Groza
C
osmetic
changes to C grammar
commit
|
commitdiff
|
tree
2017-02-03
Mihail Gr
o
za
Remove use
l
ess gram
m
ar
rule
.
commit
|
commitdiff
|
tree
2017-02-03
M
ihail
G
r
oza
Made
s
u
r
e all empty rule
s
a
r
e
e
xplic
t
(and consistent)
commit
|
commitdiff
|
tree
next