diff options
author | Son Ho | 2023-10-20 15:05:00 +0200 |
---|---|---|
committer | Son Ho | 2023-10-20 15:05:00 +0200 |
commit | f11d5186b467df318f7c09eedf8b5629c165b453 (patch) | |
tree | a6ff013b2497a7b24ddb1c9d59295b1e1bdfbf4c /compiler/FunsAnalysis.ml | |
parent | 61368028027a7c160c33b05ec605c26833212667 (diff) |
Start updating to handle function pointers
Diffstat (limited to 'compiler/FunsAnalysis.ml')
-rw-r--r-- | compiler/FunsAnalysis.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/FunsAnalysis.ml b/compiler/FunsAnalysis.ml index f4406653..a09a6d05 100644 --- a/compiler/FunsAnalysis.ml +++ b/compiler/FunsAnalysis.ml @@ -76,7 +76,7 @@ let analyze_module (m : crate) (funs_map : fun_decl FunDeclId.Map.t) can_fail := EU.binop_can_fail bop || !can_fail method! visit_Call env call = - (match call.func with + (match call.func.func with | FunId (Regular id) -> if FunDeclId.Set.mem id fun_ids then ( can_diverge := true; |