From 492c6f2fd1a64c9d60a968b55bfd1000cc2ae8e7 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Tue, 4 Apr 2023 15:29:36 -0700
Subject: Diagnose on using assignment as predicate expr. (#2774)

Co-authored-by: Yong He <yhe@nvidia.com>
---
 source/slang/slang-check-stmt.cpp | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'source/slang/slang-check-stmt.cpp')

diff --git a/source/slang/slang-check-stmt.cpp b/source/slang/slang-check-stmt.cpp
index bc89dc94e..a61f48af6 100644
--- a/source/slang/slang-check-stmt.cpp
+++ b/source/slang/slang-check-stmt.cpp
@@ -151,6 +151,10 @@ namespace Slang
 
     Expr* SemanticsVisitor::checkPredicateExpr(Expr* expr)
     {
+        if (as<AssignExpr>(expr))
+        {
+            getSink()->diagnose(expr, Diagnostics::assignmentInPredicateExpr);
+        }
         Expr* e = expr;
         e = CheckTerm(e);
         e = coerce(m_astBuilder->getBoolType(), e);
-- 
cgit v1.2.3