[Cython] [cython-users] "Stack" checker for undefined behaviour in C code

[Stefan Behnel]

Lisandro Dalcin, 02.11.2013 12:09:
> On 1 November 2013 23:47, Lisandro Dalcin wrote:
>> On 1 November 2013 21:53, Stefan Behnel wrote:
>>> Erm - interesting. I looked through the code lines above and couldn't find
>>> anything that looked suspicious. I hope I used the same source version as
>>> you did (latest master?). Maybe I was just blinded by macros, but what I
>>> saw looked rather reasonable...
>>
>> Oh! Sorry, I've used branch 0.19.x, I'll check master and report back
>> my findings.
> 
> OK, this is the commit in master I've used for test:
> 
> $ git show
> commit 2cf64fd4e3e1f5d570d856c2e98fdc51930f1a50

Thanks, that makes more sense.


> I got three warnings, see below. I understand the ones in _tempita.c
> and FlowControl.c, but not sure about the others.

They all look like false positives to me, e.g. dereferencing global
pointers to Python's builtin types.

Stefan