lkml.org 
[lkml]   [2017]   [May]   [11]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
Date
SubjectRe: [PATCH] FS: Fixing return type of unsigned_offsets
On Thu, May 11, 2017 at 8:07 AM, Al Viro <viro@zeniv.linux.org.uk> wrote:
> FVO"needed" equal to "needed to make sparse STFU"? If anything, that's
> sparse being wrong - evaluate.c:check_assignment_type() should do
> if (t == &ctype_bool) {
> if (is_fouled_type(s))
> warning((*rp)->pos, "%s degrades to integer",
> show_typename(s->ctype.base_type));
> goto Cast;
> }
> right after
> } else if (!(sclass & TYPE_RESTRICT))
> goto Cast;

What about an explicit cast of restricted types to bool?
I think we would want the equivalent of this patch for those too.

-- Luc

\
 
 \ /
  Last update: 2017-05-11 22:10    [W:0.039 / U:0.280 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site