Add static for loop iteration inference. (#2659)

1 files changed, 6 insertions, 3 deletions

diff --git a/tests/diagnostics/autodiff.slang.expected b/tests/diagnostics/autodiff.slang.expected
index cd97bce76..952503d1c 100644
--- a/tests/diagnostics/autodiff.slang.expected
+++ b/tests/diagnostics/autodiff.slang.expected
@@ -1,12 +1,15 @@
 result code = -1
 standard error = {
-tests/diagnostics/autodiff.slang(20): error 38031: 'no_diff' can only be used to decorate a call.
+tests/diagnostics/autodiff.slang(16): error 30510: loops inside a differentiable function need to provide either '[MaxIters(n)]' or '[ForceUnroll]' attribute.
+    for (int i = 0; i < (int)x; i++)
+    ^~~
+tests/diagnostics/autodiff.slang(35): error 38031: 'no_diff' can only be used to decorate a call.
     float x1 = no_diff x; // invalid use of no_diff here.
                ^~~~~~~
-tests/diagnostics/autodiff.slang(21): error 38032: use 'no_diff' on a call to a differentiable function has no meaning.
+tests/diagnostics/autodiff.slang(36): error 38032: use 'no_diff' on a call to a differentiable function has no meaning.
     return no_diff f(x);  // no_diff on a differentiable call has no meaning.
            ^~~~~~~
-tests/diagnostics/autodiff.slang(26): error 38033: cannot use 'no_diff' in a non-differentiable function.
+tests/diagnostics/autodiff.slang(41): error 38033: cannot use 'no_diff' in a non-differentiable function.
     return no_diff nonDiff(x); // no_diff in a non-differentiable function
            ^~~~~~~
 }