From 05547e25353dd797791c2937679468d529d832d5 Mon Sep 17 00:00:00 2001
From: venkataram-nv <vedavamadath@nvidia.com>
Date: Tue, 16 Jul 2024 14:54:53 -0700
Subject: Warnings function parameters (#4626)

* Handle out/inout functions with separate consideration

* Fixing bug with passing aliasable instructions

* Handle autodiff functions (fwd and rev) in warning system

* Handling interface methods

* Handling ref parameters like out/inout

* Temporary fix to remaining bugs

* Refactoring methods and tests

* Recursive check for empty structs

* Using default initializable interface in tests

* Resolving CI fail
---
 tests/bugs/generic-param-cast.slang                | 2 +-
 tests/bugs/specialize-existential-in-generic.slang | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'tests/bugs')

diff --git a/tests/bugs/generic-param-cast.slang b/tests/bugs/generic-param-cast.slang
index 20b30a433..e2dbcc285 100644
--- a/tests/bugs/generic-param-cast.slang
+++ b/tests/bugs/generic-param-cast.slang
@@ -8,7 +8,7 @@ struct A<let I : int>
     int f() { return I; }
 };
 
-struct B<let U : uint>
+struct B<let U : uint> : IDefaultInitializable
 {
     A<U> a;
 };
diff --git a/tests/bugs/specialize-existential-in-generic.slang b/tests/bugs/specialize-existential-in-generic.slang
index 695c7bc29..cb05aea14 100644
--- a/tests/bugs/specialize-existential-in-generic.slang
+++ b/tests/bugs/specialize-existential-in-generic.slang
@@ -18,7 +18,7 @@ struct Impl : IFoo
     Assoc getValue() { Assoc r; return r; }
 }
 
-struct GenType<T : IFoo>
+struct GenType<T : IFoo> : IDefaultInitializable
 {
     T obj;
     int doThing()
-- 
cgit v1.2.3