/*
** Splint - annotation-assisted static program checker
-** Copyright (C) 1994-2002 University of Virginia,
+** Copyright (C) 1994-2003 University of Virginia,
** Massachusetts Institute of Technology
**
** This program is free software; you can redistribute it and/or modify it
{
/* Give up if the result gets to be longer
than the absolute path name. */
- /*@i423@*/ if (rel_buffer + filename_len <= rel_buf_p + 3)
+ if (rel_buffer + filename_len <= rel_buf_p + 3)
{
sfree (rel_buffer);
return cstring_copy (filename);