PandA-2024.02
documentation
tutorial_pact_2022
01-introduction
Exercise4
proxies.c
Go to the documentation of this file.
1
int
__attribute__
((noinline)) funcC(
int
a[2]){
2
return
a[0] * a[0] + a[1] * a[1];
3
}
4
5
int
__attribute__
((noinline)) funcB(
int
a[2]){
6
int
i;
7
for
(i=0; i<2; i++)
8
a[i] = a[i] + 1;
9
return
funcC(a);
10
}
11
12
int
funcA
(){
13
int
temp1, temp2;
14
int
a[2] = {0,1};
15
temp1 = funcC(a);
16
temp2 = funcB(a);
17
return
temp1 + temp2;
18
}
__attribute__
int __attribute__((noinline))
Definition:
proxies.c:1
funcA
int funcA()
Definition:
proxies.c:12
Generated on Mon Feb 12 2024 13:02:47 for PandA-2024.02 by
1.8.13