]> matita.cs.unibo.it Git - pkg-cerco/frama-c-cost-plugin.git/blob - plugin/tests/fail/bubble_sort.c
Imported Upstream version 0.1
[pkg-cerco/frama-c-cost-plugin.git] / plugin / tests / fail / bubble_sort.c
1
2 #define SIZE 5
3
4 void swap (int tab[], int i, int j) {
5   int t;
6   t = tab[i] ; tab[i] = tab[j] ; tab[j] = t;
7   return;
8 }
9
10 void bubble_sort(int tab[], int size) {
11   int i, j, min, min_index;
12
13   for (i = 0 ; i < size ; i++) {
14     min_index = i;
15     min = tab[min_index];
16     for (j = i + 1 ; j < size ; j++) {
17       if (tab[j] < min) {
18         min_index = j;
19         min = tab[min_index];
20       }
21     }
22     swap(tab, i, min_index);
23   }
24   return;
25 }
26
27 /*
28 void print_tab (int tab[], int size) {
29   int i;
30
31   for (i = 0 ; i < size ; i++) {
32     print_sint(tab[i]);
33     space();
34   }
35   newline();
36 }
37
38 int main () {
39   int tab[SIZE] = {26, -21, 43, -62, 8};
40
41   bubble_sort(tab, SIZE);
42   print_tab(tab, SIZE);
43
44   return 0;
45 }
46 */