From 345e3d419eafb0e234aecb4a33f37efe2afbbf53 Mon Sep 17 00:00:00 2001 From: _ov4 Date: Sun, 18 Oct 2026 08:07:50 +0000 Subject: feat(classes): add copy constructors and statement-scoped temporaries Co-Authored-By: Claude Opus 5.5 --- lib/CodeGen/Designator.cc | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'lib/CodeGen/Designator.cc') diff --git a/lib/CodeGen/Designator.cc b/lib/CodeGen/Designator.cc index 5fb0ed3..b9c9a1a 100644 --- a/lib/CodeGen/Designator.cc +++ b/lib/CodeGen/Designator.cc @@ -98,7 +98,17 @@ const FuncSig *CodeGen::resolveMethod(const std::string &Class, const std::strin Value *CodeGen::emitMemberCall(MemberCallExprAST *Call) { SaveAndRestore Location(DiagnosticLine, Call->getLine()); LValueInfo Receiver; - if (!emitLValue(Call->getReceiver(), Receiver)) return nullptr; + if (isObjectLValue(Call->getReceiver())) { + if (!emitLValue(Call->getReceiver(), Receiver)) return nullptr; + } else { + const TypeInfo *Type = getExprTypeInfo(Call->getReceiver()); + if (!Type || !Type->IsClass) { + reportError("A temporary method receiver must be a class"); + return nullptr; + } + Receiver = {materializeOperatorReceiver(emitExpr(Call->getReceiver()), Type), Type->Name}; + if (!Receiver.Addr) return nullptr; + } return emitMethodCall(Receiver.TypeName, Receiver.Addr, Call->getMethod(), Call->getArgs(), Call->getLine()); } -- cgit v1.3.1-4-g156e