-O gen-C++ fix for run-time warnings for "when" lambdas

Mymaqn · Sep 27, 2024 · 5c38f76 · 5c38f76
1 parent d1c3192
commit 5c38f76
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 1 deletion.
diff --git a/src/script_opt/CPP/InitsInfo.cc b/src/script_opt/CPP/InitsInfo.cc
@@ -511,6 +511,7 @@ FuncTypeInfo::FuncTypeInfo(CPPCompile* _c, TypePtr _t) : AbstractTypeInfo(_c, st
     flavor = f->Flavor();
     params = f->Params();
     yield = f->Yield();
+    expressionless_return_okay = f->ExpressionlessReturnOkay();
 
     auto gi = c->RegisterType(params);
     if ( gi )
@@ -527,6 +528,7 @@ void FuncTypeInfo::AddInitializerVals(std::vector<std::string>& ivs) const {
     ivs.emplace_back(Fmt(c->TypeOffset(params)));
     ivs.emplace_back(Fmt(yield ? c->TypeOffset(yield) : -1));
     ivs.emplace_back(Fmt(static_cast<int>(flavor)));
+    ivs.emplace_back(Fmt(static_cast<int>(expressionless_return_okay)));
 }
 
 RecordTypeInfo::RecordTypeInfo(CPPCompile* _c, TypePtr _t) : AbstractTypeInfo(_c, std::move(_t)) {

diff --git a/src/script_opt/CPP/InitsInfo.h b/src/script_opt/CPP/InitsInfo.h
@@ -624,6 +624,7 @@ class FuncTypeInfo : public AbstractTypeInfo {
     FunctionFlavor flavor;
     RecordTypePtr params;
     TypePtr yield;
+    bool expressionless_return_okay;
 };
 
 class RecordTypeInfo : public AbstractTypeInfo {

diff --git a/src/script_opt/CPP/RuntimeInits.cc b/src/script_opt/CPP/RuntimeInits.cc
@@ -357,6 +357,7 @@ TypePtr CPP_TypeInits::BuildFuncType(InitsManager* im, ValElemVec& init_vals) co
     auto p = cast_intrusive<RecordType>(im->Types(init_vals[1]));
     auto yield_i = init_vals[2];
     auto flavor = static_cast<FunctionFlavor>(init_vals[3]);
+    auto expressionless_return_okay = static_cast<FunctionFlavor>(init_vals[4]);
 
     TypePtr y;
 
@@ -366,7 +367,9 @@ TypePtr CPP_TypeInits::BuildFuncType(InitsManager* im, ValElemVec& init_vals) co
     else if ( flavor == FUNC_FLAVOR_FUNCTION || flavor == FUNC_FLAVOR_HOOK )
         y = base_type(TYPE_VOID);
 
-    return make_intrusive<FuncType>(p, y, flavor);
+    auto ft = make_intrusive<FuncType>(p, y, flavor);
+    ft->SetExpressionlessReturnOkay(expressionless_return_okay);
+    return ft;
 }
 
 TypePtr CPP_TypeInits::BuildRecordType(InitsManager* im, ValElemVec& init_vals, int offset) const {