- /*@-unrecog@*/ /* S_IFMT is not defined */
- /*@i32@*/ if ((buf.st_mode & S_IFMT) != S_IFDIR /*@=unrecog@*/) /* not a directory */ /* spurious */
+ /*@-type@*/ /* confusion about __mode_t and mode_t types */
+ if ((buf.st_mode & S_IFMT) != S_IFDIR) /* not a directory */
+ /*@=type@*/