We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
fn TypedAstContext::expr_diverges
1 parent 7de20ce commit 6669e05Copy full SHA for 6669e05
c2rust-transpile/src/c_ast/mod.rs
@@ -601,8 +601,8 @@ impl TypedAstContext {
601
}
602
603
604
- // Pessimistically try to check if an expression doesn't return. If it does, or we can't tell
605
- /// that it doesn't, return `false`.
+ /// Pessimistically try to check if an expression doesn't return.
+ /// If it does, or we can't tell that it doesn't, return `false`.
606
pub fn expr_diverges(&self, expr_id: CExprId) -> bool {
607
let func_id = match self.index(expr_id).kind {
608
CExprKind::Call(_, func_id, _) => func_id,
0 commit comments