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

[splint.git] / test / abstptr.lcl

mutable type abst ;