blob: 7905b48b6d962fa01ebf4f3acc975e935fbdce38 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
//DIAGNOSTIC_TEST:SIMPLE:
float nonDiff(float x)
{
return x;
}
[ForwardDifferentiable]
float f(float x)
{
float val = 0;
if (x > 5)
val = x + 1;
[MaxIters(2)]
for (int i = 0; i < (int)x; i++) // OK
{
}
for (int i = 0; i < 5; i++) // OK
{
}
return val;
}
[ForwardDifferentiable]
float m(float x)
{
float x1 = no_diff x; // invalid use of no_diff here.
return no_diff f(x); // no_diff on a differentiable call has no meaning.
}
float n(float x)
{
return no_diff nonDiff(x); // no_diff in a non-differentiable function
}
|
