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

[splint.git] / test / impabstract.lcl

typedef int mint;
mutable type cint;