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
Removed some useless/false comments
2017-03-15
Mi
h
ail Groza
Re
m
ove
d
some
u
sele
s
s/fal
s
e comments
commit
|
commitdiff
|
tree
2017-03-15
M
i
ha
i
l Gro
z
a
Fix
self-check due
t
o previous co
m
mit
commit
|
commitdiff
|
tree
2017-03-15
Mihail Groza
S
ome consistenc
y
c
h
a
nges to library & headers fla
g
s
.
commit
|
commitdiff
|
tree
2017-03-14
Mihai
l
G
roza
F
ix par
s
ing failure for self-chec
k
.
commit
|
commitdiff
|
tree
2017-03-14
Mihai
l
Groza
Avoid
i
mp
l
icit initial
i
za
t
i
on + minor refactoring
.
commit
|
commitdiff
|
tree
2017-03-14
M
ihail G
r
oz
a
Change
n
e
g
ative name for boolean
f
lag
.
commit
|
commitdiff
|
tree
2017-03-14
Mi
h
ail
Gro
z
a
Se
c
ond (and last)
p
art of transiti
o
n from no
t
-
function
.
.
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail Groza
First part of tr
a
nsit
i
on fr
o
m
n
ot-function he
a
der
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail Gr
o
za
Consiste
n
t na
m
ing of st
a
ndard l
i
b
r
ary
and headers
.
commit
|
commitdiff
|
tree
2017-03-14
Mihai
l
Gr
o
z
a
Be a bit less permissive in constraint expression p
a
r
sing
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail G
r
oza
Cosmetic changes
t
o C g
r
ammar file
(
no
behavioural
.
.
.
commit
|
commitdiff
|
tree
2017-03-13
Mi
h
ail Groza
Y
e
t
ano
t
h
e
r
p
artial fix f
o
r
h
ttps
:
//bugs
.
debian
.
o
r
g
.
.
.
commit
|
commitdiff
|
tree
2017-03-13
Mih
a
il Groza
Parti
a
l fix for https:
/
/bugs
.
debian
.
org/626
5
52
commit
|
commitdiff
|
tree
2017-03-13
Mihail Groz
a
Remov
e
some u
n
used tok
e
ns + minor
r
e
facto
r
i
n
g
commit
|
commitdiff
|
tree
2017-03-10
Miha
i
l Gro
z
a
Clean some
g
a
rbage in pre
p
roce
s
sor-
s
canner i
n
t
eracti
o
n
commit
|
commitdiff
|
tree
2017-03-10
M
i
hail
Groza
M
i
nor
a
bst
r
a
c
tion of C scanner
commit
|
commitdiff
|
tree
2017-03-10
Miha
i
l Groza
Multiple
f
i
xes to string literal h
a
ndli
n
g
commit
|
commitdiff
|
tree
2017-03-10
Mihail Groza
Minor
t
weak o
f
test suite
commit
|
commitdiff
|
tree
2017-03-09
Mihail
Gro
z
a
Remove custom s
u
pp
o
rt for __c
o
ns
t
keyword
.
commit
|
commitdiff
|
tree
2017-03-07
Mi
h
ail G
r
oza
Silenc
e
a warning fro
m
UndefinedBehaviourSanitizer
commit
|
commitdiff
|
tree
2017-03-07
Mi
h
ail
G
roza
Modify C grammar file un
d
erstanding of what initializ
e
r is
.
commit
|
commitdiff
|
tree
2017-03-07
Mihail Groza
Don't install headers used to b
u
ild Splin
t
libraries
commit
|
commitdiff
|
tree
2017-03-07
Mihail Groza
Minor
ad
j
u
s
tment of POSIX
l
i
brary
commit
|
commitdiff
|
tree
2017-03-06
M
i
hail Gr
o
za
Hand
l
e possible n
u
l
l
character inside st
r
i
n
g li
t
era
l
commit
|
commitdiff
|
tree
2017-03-06
Mihail Groza
Fix for h
t
tps:
/
/sf
.
net/p/splint/bugs/15
commit
|
commitdiff
|
tree
2017-03-06
Mi
h
a
i
l Groza
Minor
refacto
r
in
g
and cosmetic c
l
e
a
n
-
u
p
(no behav
i
o
u
r
al
.
.
.
commit
|
commitdiff
|
tree
2017-03-02
Miha
i
l G
r
oza
Fix
lib
r
ary
s
pec
i
fication of ca
l
loc()
commit
|
commitdiff
|
tree
2017-03-02
Mihail G
r
oz
a
M
i
nor fix for posix library
.
commit
|
commitdiff
|
tree
2017-02-28
Miha
i
l Gr
o
za
A
void unnecessary tes
t
i
n
g wh
e
n concatenating expressio
n
s
commit
|
commitdiff
|
tree
2017-02-28
Mih
a
il Groz
a
Correct order of variable initializat
i
on
.
commit
|
commitdiff
|
tree
2017-02-28
Mihail Groza
Add su
p
p
ort
for varia
b
le declaration in fo
r
initializatio
n
.
.
.
commit
|
commitdiff
|
tree
2017-02-28
Mi
h
ail Groz
a
Minor cosm
e
t
i
c
clean-up
commit
|
commitdiff
|
tree
2017-02-27
Mihai
l
Groza
M
a
n
p
a
g
e clean-up
.
commit
|
commitdiff
|
tree
2017-02-27
Mihail Groza
Correction fo
r
switch imbricated with if/else block
.
commit
|
commitdiff
|
tree
2017-02-26
M
i
hail Groza
Fix minor inconsistencies in
l
ibrary cons
t
ants
commit
|
commitdiff
|
tree
2017-02-26
M
i
hail Groza
Som
e
duplicati
o
n
in version/name/date ma
c
r
os removed
commit
|
commitdiff
|
tree
2017-02-26
M
i
ha
i
l Groza
Prev
i
ous submit failed to update header name in Makefile
.
.
.
commit
|
commitdiff
|
tree
2017-02-26
M
iha
i
l Gr
o
za
Sm
a
ll refactori
n
g without any behavioral changes
.
commit
|
commitdiff
|
tree
2017-02-26
M
i
ha
i
l Groza
Cosme
t
ic related
r
e
f
a
c
t
oring (no behav
i
oural chan
g
es)
commit
|
commitdiff
|
tree
2017-02-25
Mihail Groza
Min
o
r refactoring (
n
o f
u
nct
i
onalit
y
change) of C grammar
.
commit
|
commitdiff
|
tree
2017-02-24
M
i
hai
l
Groza
F
ix a
p
arsing e
r
ror in i
n
itializatio
n
o
f
enu
m
eration
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
Minor up
d
ate to s
t
and
a
rd/unix library
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
Fix handling of
D
uff's device
implement
e
d using for
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
Minor
s
t
r
e
n
gthening
o
f asserts
.
commit
|
commitdiff
|
tree
2017-02-24
M
i
hail Groza
Fix
p
r
ocessing
e
rr
o
r for
v
ariables of type
functio
n
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Miha
i
l Groza
Work-ar
o
u
n
d for failure to self-check
.
commit
|
commitdiff
|
tree
2017-02-22
M
i
hail Groza
Support
for hh length modifier in pri
n
tf/
s
canf-like
.
.
.
commit
|
commitdiff
|
tree
2017-02-22
Mihail Groza
Clea
n
-
u
p quali
f
ier mi
x
ing
.
commit
|
commitdiff
|
tree
2017-02-20
M
ihail Groza
Allow
m
ixed st
a
t
e
ments
a
nd variable d
e
clarations (as
.
.
.
commit
|
commitdiff
|
tree
2017-02-20
Mihai
l
Gro
z
a
Min
o
r
c
osmet
i
c clean-up
.
commit
|
commitdiff
|
tree
2017-02-20
Mihail
G
r
o
za
Cosmetic changes to error printing
.
commit
|
commitdiff
|
tree
2017-02-17
Mihail Groza
Fix
b
uild
of imports (missing path)
.
commit
|
commitdiff
|
tree
2017-02-17
Mihail Groza
Fix bug
e
x
posed by
a previous commi
t
.
commit
|
commitdiff
|
tree
2017-02-15
Mihail Groza
S
m
all ref
a
c
tor
i
ng of C grammar f
i
le
.
commit
|
commitdiff
|
tree
2017-02-15
Mi
h
ail
G
roza
Less permissiv
e
syntax for
notre
a
ched
c
omm
e
n
t
.
commit
|
commitdiff
|
tree
2017-02-15
Mih
a
il
Gr
o
za
Avoid unnecessary par
s
ing conflicts du
e
to type/id
.
.
.
commit
|
commitdiff
|
tree
2017-02-14
Mihail Gr
o
za
Co
r
r
e
c
ted inconsisten
c
y in
h
andling preproc
e
ssor definition
s
.
commit
|
commitdiff
|
tree
2017-02-12
Mihail Groza
Rem
o
ve spl
i
n
t-genera
t
ed files fr
o
m distribution
.
commit
|
commitdiff
|
tree
2017-02-12
Mihail Groza
Tweak ignore rul
e
s for generated files
.
commit
|
commitdiff
|
tree
2017-02-12
Mihail Groza
Smarter way of generating flag codes head
e
r
.
commit
|
commitdiff
|
tree
2017-02-12
M
i
h
ail Groza
Clea
n
-up
f
lags d
e
fi
n
itions
commit
|
commitdiff
|
tree
2017-02-10
Mihail Gr
o
za
No need to save
(g
e
nera
t
ed) spec files in repository
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail Groz
a
More t
w
e
a
king o
f
ignores
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail
Groza
Repos
i
tory
c
lean-up +
ignores update
commit
|
commitdiff
|
tree
2017-02-10
Mihai
l
Groz
a
R
emov
e
uses of abort + c
o
smetic chan
g
e
s
in preproce
s
s
o
r
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
M
ihail Groza
Moved header dep
e
ndent macro from the never-include
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail
Gro
z
a
Mak
e
BAD*
macros u
s
e cust
o
m exit
.
commit
|
commitdiff
|
tree
2017-02-09
Miha
i
l Groza
Make sure m
e
m
or
y
clean-up is
d
o
ne on exits
.
commit
|
commitdiff
|
tree
2017-02-09
M
i
h
a
il Groza
Cosmetic changes to
s
o
me error handling macros
.
commit
|
commitdiff
|
tree
2017-02-09
M
i
h
ail Groza
Fix use-
a
fter-free detected b
y
valgrind
.
commit
|
commitdiff
|
tree
2017-02-09
Mihai
l
Groza
Minor warn
i
ngs/duplicates/cosmetic c
l
ean-up
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail
G
roza
Re-activate
s
ome cl
e
a
n-up that was skipp
e
d
.
commit
|
commitdiff
|
tree
2017-02-07
Mi
h
a
il Groz
a
P
r
ep
r
oc
e
sso
r
has
h
routines
n
o l
o
nger c
o
mpute name length
commit
|
commitdiff
|
tree
2017-02-07
Mihail
Groz
a
Plug
a memory leak in preprocessor han
d
ling of d
e
fine
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
Recognize miss
i
ng
pa
r
ameter
i
n
ma
c
ro
definitions
.
commit
|
commitdiff
|
tree
2017-02-07
Mi
h
ail Groza
Added
ch
e
cks for incorr
e
ct usa
g
e of __VA_ARGS__
(ISO
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mi
h
ail Groza
Preprocess
o
r stops pr
o
ce
s
sing directives wi
t
h wron
g
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
M
ihai
l
Groza
Another minor re
f
actoring of prepr
o
ce
s
sor library
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
S
ma
l
l
r
efa
c
tor
i
ng
o
f preproc
e
ssor library
.
commit
|
commitdiff
|
tree
2017-02-06
Miha
i
l
Groza
Minor r
e
factor
i
ng of prepro
c
ess
o
r functional
i
ty
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Groza
Minor
c
lean-up o
f
test makefile
.
commit
|
commitdiff
|
tree
2017-02-06
Mih
a
i
l
Gr
o
za
Added su
p
p
ort f
o
r variadic
m
a
cros
(
as in
C
99
)
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Groza
Adde
d
missing
c
as
e
s in switch
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groza
Fix bug det
e
cting standa
r
d header files
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Gro
z
a
Fix for prepr
o
cess
o
r redefinition o
f
a en
u
m const
a
nt
.
.
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groza
Cosmetic changes (split from upcoming commit)
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Gr
o
za
C
osme
t
ic
changes to
C
grammar
commit
|
commitdiff
|
tree
2017-02-03
M
ih
a
il G
r
oza
Rem
o
v
e usel
e
ss gram
m
ar rule
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Gro
z
a
Made sure all empty ru
l
e
s
ar
e
e
x
plict (and consistent
)
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groza
Fix parsing issu
e
(introduced
by me
)
.
commit
|
commitdiff
|
tree
2017-02-01
Mihail
G
roza
Issue in o
l
d merge r
e
l
a
t
e
d
to 'n
e
stcomment' comm
e
n
t
.
commit
|
commitdiff
|
tree
2017-02-01
M
i
hail Groza
Some code clean-up o
f
pre
p
ro
c
essor
c
ode
.
commit
|
commitdiff
|
tree
2017-01-31
Mih
a
il Groza
M
i
no
r
c
hang
e
s aimed at bet
t
er
s
e
lf
-
checking
.
commit
|
commitdiff
|
tree
2017-01-31
Mihail Groza
C
l
ean-up of flags con
t
roling
t
raci
n
g of bis
o
n generat
e
d
.
.
.
commit
|
commitdiff
|
tree
2017-01-31
Mihail Groza
Minor fixe
s
for gli
t
ches in c
s
tring
.
commit
|
commitdiff
|
tree
2017-01-26
M
ihail Groza
Cor
r
ect handl
i
ng o
f
u
n
ary + operation
.
commit
|
commitdiff
|
tree
2017-01-26
Mihail G
r
oz
a
Two
u
s
ele
s
s/empty b
i
son
redu
c
tions re
m
o
v
e
d
.
commit
|
commitdiff
|
tree
2017-01-25
M
i
hai
l
Groza
Various minor fixes fo
r
compiler/lint
e
r (other
then
.
.
.
commit
|
commitdiff
|
tree
2017-01-23
M
i
hail Groza
Some clean-up
of memory routines (+ some regres
s
ion
.
.
.
commit
|
commitdiff
|
tree
2017-01-21
M
ihail Gr
o
za
Mino
r
changes to boolea
n
inclusion/d
e
clara
t
ions/
d
efinitions
.
commit
|
commitdiff
|
tree
next