PIPS
template.c
Go to the documentation of this file.
1
/* Example of Linear Relation Analysis given by Nicolas Halbwachs in his
2
great tutorial at Aussois, 9/12/2010
3
4
http://compilation.gforge.inria.fr/2010_12_Aussois/programpage/programme.html
5
*/
6
7
#include <stdio.h>
8
9
int
main
(
int
argc,
char
*argv[]) {
10
int
x
= 0;
11
int
y = 0;
12
char
b;
13
14
while
(
x
<= 100) {
15
b = getchar();
16
if
(b)
17
x
=
x
+ 2;
18
else
{
19
x
=
x
+ 1;
20
y = y + 1;
21
}
22
}
23
/* After widening: 0 <= y <= x , x >= 101 */
24
return
x
;
25
}
x
static char * x
Definition:
split_file.c:159
main
int main(int argc, char *argv[])
Example of Linear Relation Analysis given by Nicolas Halbwachs in his great tutorial at Aussois,...
Definition:
template.c:9
pips
src
Passes
paws
pawsapp
utils
templates
template.c
Generated on Thu Sep 26 2024 22:11:50 for PIPS by
1.9.1