On 19 March 2017 at 00:52, Luc Van Oostenryck
<luc.vanoostenryck@xxxxxxxxx> wrote:
> On Mon, Mar 13, 2017 at 09:24:47PM +0000, Dibyendu Majumdar wrote:
>>
>> While investigating errors that occurred when compiling 'minilua' I
>> found that the sparse-llvm output for switch statements is hard coded
>> to generate int32 values even when the switch is on a different
>> integer type.
>
> Could you submit a test case for this?
>
extern int printf(const char *, ...);
int main(int argc, const char *argv[])
{
const char *cp = argv[0];
switch (*cp) {
case 's':
printf("%c\n", *cp);
break;
default:
if (*cp)
printf("%c\n", *cp);
break;
}
return 0;
}
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
