From 8c4ec8a6e65bfefd2237eddb5a3e8f03d9168ac2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=EC=A0=95=EC=8B=9C=EC=9B=90?= Date: Sun, 16 Aug 2026 19:58:18 +0900 Subject: [PATCH] complete M6 ownership core primitives --- fec/src/own.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/fec/src/own.h b/fec/src/own.h index 830341f..927ff97 100644 --- a/fec/src/own.h +++ b/fec/src/own.h @@ -72,10 +72,13 @@ int fe_own_place_from_expr(FeNode *expr, FeOwnPlace *place); void fe_own_state_init(FeOwnState *state, int initialized); int fe_own_access(FeDiags *diags, FeOwnState *state, FeOwnAccessKind access, FeLoc loc); +int fe_own_call_shared_view(FeDiags *diags, FeOwnState *state, FeLoc loc); void fe_own_release_shared(FeOwnState *state); void fe_own_release_exclusive(FeOwnState *state); FeOwnState fe_own_merge_state(FeOwnState left, FeOwnState right); int fe_own_state_equal(const FeOwnState *left, const FeOwnState *right); +int fe_own_loop_merge_state(FeOwnState entry, FeOwnState backedge, + FeOwnState *merged); FeOwnProvenance fe_own_provenance_static(void); FeOwnProvenance fe_own_provenance_param(unsigned param_index);