Fixed problem with loop guards in loop test effects. New test case

[splint.git] / test / null6.lcl

mutable type mnull;