blob: ba43f92a023f78aa9880158e7f6d5095329926bd (
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
|
/* This may look like nonsense, but really is -*- mode: C -*- */
#include <stdlib.h> /*@\label{include-stdlib}*/
#include <stdio.h> /*@\label{include-stdio}*/
/* The main thing that this program does. */ /*@\label{C-comment}*/
int main(int argc, [[maybe_unused]] char* argv[argc+1]) { /*@\label{main-start}*/
// Declarations
double A[5] = { /*@\label{array-declaration}*/
[0] = 9.0, /*@\label{designated-init}*/
[1] = 2.9,
[4] = 3.E+25, /*@\label{scientific-notation}*/
[3] = .00007, /*@\label{comma-terminate}*/
};
// Doing some work /*@\label{CPP-comment}*/
for (size_t i = 0; i < 5; ++i) { /*@\label{for-loop}*/
printf("element %zu is %g, \tits square is %g\n", /*@\label{printf-start}*/
i,
A[i],
A[i]*A[i]); /*@\label{printf-end}*/
} /*@\label{for-end}*/
return EXIT_SUCCESS; /*@\label{main-return}*/
} /*@\label{main-end}*/
|
