Added the flags likely-bounds, likely-bounds-write, and likely-bounds-read

[splint.git] / test / observer.lcl

mutable type stx;

only char *stx_name (stx x) { }