Re: [fpc-devel] Suggestion for change: Overly strict check

2006-09-27 Thread ik
Hi, Let me give you an example of a real bug that allow attackers to gain root access using X-server, and I hope you will understand why such checking can be a good thing. On C you can have a function and a variable with the same name, and the only way that you can make a difference, is to use t

Re: [fpc-devel] Suggestion for change: Overly strict check

2006-09-27 Thread Burkhard Carstens
Am Mittwoch, 27. September 2006 22:36 schrieb Christian Iversen: > Hi all. > > I was hoping there could be a discussion of a certain feature in FPC, > which doesn't work very well for us. Ultimately, I would like to see > it gone completely. It's a very small extra-strong syntax check, > appearantl

[fpc-devel] Suggestion for change: Overly strict check

2006-09-27 Thread Christian Iversen
Hi all. I was hoping there could be a discussion of a certain feature in FPC, which doesn't work very well for us. Ultimately, I would like to see it gone completely. It's a very small extra-strong syntax check, appearantly implemented to avoid bad code. However, it's not entirely obvious why

Re: [fpc-devel] Possibility to add a branch for experiment with formal annotation

2006-09-27 Thread Florian Klaempfl
Tom Verhoeff wrote: > We (Software Engineering & Technology group of CS dept. at Technische > Universiteit Eindhoven) are working on an extension to (Free)Pascal, > by adding a facility for including formal annotation in programs > (pre/post conditions, invariants, etc). > > We would also like to

[fpc-devel] Possibility to add a branch for experiment with formal annotation

2006-09-27 Thread Tom Verhoeff
We (Software Engineering & Technology group of CS dept. at Technische Universiteit Eindhoven) are working on an extension to (Free)Pascal, by adding a facility for including formal annotation in programs (pre/post conditions, invariants, etc). We would also like to construct some tools for static