Update TranslatedExpr.qll

Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2024-04-23 07:25:25 +01:00
committed by GitHub
parent 24cf75a37c
commit c1755603a8

View File

@@ -1311,8 +1311,8 @@ class TranslatedUnaryExpr extends TranslatedSingleInstructionExpr {
*
* The translation of `x = co_await ...` is essentially:
* ```cpp
* if !awaiter.await_ready() {
* awaiter.await_suspend()
* if (!awaiter.await_ready()) {
* awaiter.await_suspend();
* }
* x = awaiter.await_resume();
* ```