Hi all,

It came to our attention that people have started using coroutines 
<https://en.cppreference.com/w/cpp/language/coroutines.html> in WebKit 
codebase. Unfortunately, coroutines have semantics that are incompatible with 
safer C++ rules.

We rely on local variables in a function to be stored in stack, and not heap. 
This is not the case with a coroutines.

To make the situation worse, a regular function can call a coroutines function 
without itself being a coroutines. This fundamentally breaks the transitive 
guarantee of semantics safer C++ relies on.

Therefore, we propose to ban the use of coroutines in WebKit codebase until we 
can figure out a way to accommodate the semantics of coroutines in the safer 
C++ static analysis.

- R. Niwa

_______________________________________________
webkit-dev mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to