]>
andersk Git - splint.git/blame_incremental - test/tests2.5/immutable.h
... / ...
Commit | Line | Data |
| 1 | typedef /*@abstract@*/ /*@immutable@*/ struct __ { |
| 2 | int x; |
| 3 | } *immutable; |
| 4 | |
| 5 | extern immutable immutable_create (int) ; |
| 6 | extern void immutable_print (immutable) ; |
This page took 0.031877 seconds and 5 git commands to generate.