~ubuntu-branches/debian/sid/frama-c/sid

« back to all changes in this revision

Viewing changes to tests/pdg/sets.c

• browse files at revision 1
• compare with another revision
• download diff
• download tarball
• view history from revision 1

Show diffs side-by-side

added

removed

tests/pdg/sets.c

 

1

/* run.config

 

2

   EXECNOW: make -s tests/pdg/sets.opt

 

3

   CMD: tests/pdg/sets.opt

 

4

   OPT: -lib-entry -main f -pdg-debug -pdg -inout -journal-disable

 

5

*/

 

6

 

 

7

int b, c, x, y, z, t;

 

8

void f(int a) {

 

9

  y = 0;        // 1, node 9

 

10

  if (a) y = 1; // 2 puis 3, (y = 1: node 11)

 

11

  z = y;        // 5

 

12

  y++;          // 6 (node 14)

 

13

  x = z;        // 8

 

14

  b = a;        // 9

 

15

  t = b + y;    // 11

 

16

  y = 5;        // 12

 

17

  c = 8;        // shouldn't have any relation with node 14...

 

18

}

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1