Bug-report: Smatch treats scoped_guard() as unreachable code ?

Hey Dan,

I have noticed some warnings which mark scoped_guard() as unreachable 
code on today's next.

drivers/platform/x86/ideapad-laptop.c:856 dytc_profile_set() warn: 
ignoring unreachable code.

drivers/input/touchscreen/wacom_w8001.c:383 w8001_open() warn: ignoring 
unreachable code.


Thanks,
Harshit