Splint doesn't currently interpret restrict. /*@unique@*/ was in Splint before ISO C99. The meanings are slightly different, but it would probably make sense to support restrict.
--- Dave On Sat, 23 Feb 2002, Finny Merrill wrote: > Does the restrict qualifier imply /*@unique@*/? > > >