CHERIoT-Platform/llvm-project

Warn if compartment call returns void

オープン

#34 opened on 2024/07/03

 (11 件のコメント) (0 件のリアクション) (0 人の担当者)LLVM (15 件のフォーク)auto 404
good first issue

Repository metrics

Stars
 (9 個のスター)
PR merge metrics
 (PR metrics pending)

説明

It would be good if clang would warn if the return type of a compartment call is void. Compartment calls can fail unexpectedly and return -1 (e.g. due to trusted stack exhaustion). Callers should be aware of and check for this, therefore it is never appropriate for a compartment call to return void. For the same reason we should also consider automatically adding the nodiscard attribute to compartment calls.

コントリビューターガイド