Thanks for researching and explaining this issue!
It's helpful for me to think about how to deal with my async server
design based on delimited-continuation.
I think it's fine if it doesn't capture dynamic environment, even
cooler, so that the dynamic state could be well understood and traced
by us
It has been explained on the #guile Freenode channel that this
behavior is indeed desired and not a bug, being argued for by some
authors of papers on delimited continuations:
http://www.cs.utah.edu/plt/publications/icfp07-fyff.pdf
http://okmij.org/ftp/papers/DDBinding.pdf
In short, no: partial
Mark H Weaver skribis:
> This is clearly an issue with bdwgc on clang, and possibly only on
> Apple's version of clang. Here's the relevant section of
> gc/gc_config_macros.h from bdwgc 7.4.2:
>
> #ifndef GC_ATTR_ALLOC_SIZE
> /* 'alloc_size' attribute improves __builtin_object_size correctness
Thanks for analysing and pointing in the right direction Mark. With this
info I found
https://github.com/ivmai/bdwgc/commit/8fc1f3b61b02320848b035d59e04e77d3f6b#diff-b3f85dde7694cbd1268ea9ed20db1b1aR244
which looks like it fixes it in the next release of bdwgc (7.5).
Unfortunately this war
