From e7df8538eb8f0ed06f0838d946bec8e9e0fe0985 Mon Sep 17 00:00:00 2001 From: Yong He Date: Thu, 1 Dec 2022 18:55:43 -0800 Subject: Allow `no_diff` on `this` parameter. (#2543) --- source/slang/slang-check-expr.cpp | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'source/slang/slang-check-expr.cpp') diff --git a/source/slang/slang-check-expr.cpp b/source/slang/slang-check-expr.cpp index 7297ca282..336682bf4 100644 --- a/source/slang/slang-check-expr.cpp +++ b/source/slang/slang-check-expr.cpp @@ -503,7 +503,11 @@ namespace Slang auto toBeSynthesized = m_astBuilder->create(); addModifier(synthesizedDecl, toBeSynthesized); - return ConstructDeclRefExpr(makeDeclRef(synthesizedDecl), nullptr, originalExpr->loc, originalExpr); + return ConstructDeclRefExpr( + makeDeclRef(synthesizedDecl), + nullptr, + originalExpr ? originalExpr->loc : SourceLoc(), + originalExpr); } Expr* SemanticsVisitor::ConstructLookupResultExpr( @@ -1927,6 +1931,10 @@ namespace Slang { getSink()->diagnose(forwardDiff, Diagnostics::functionNotMarkedAsDifferentiable, funcDecl, "backward"); } + if (!isEffectivelyStatic(funcDecl) && !isGlobalDecl(funcDecl)) + { + getSink()->diagnose(forwardDiff, Diagnostics::nonStaticMemberFunctionNotAllowedAsDiffOperand, funcDecl); + } } } } -- cgit v1.2.3