Powered by Linux

Bug-report: Smatch treats scoped_guard() as unreachable code ? — Semantic Matching Tool

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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Subject: Bug-report: Smatch treats scoped_guard() as unreachable code ?
From: Harshit Mogalapalli <harshit.m.mogalapalli@xxxxxxxxxx>
Date: Tue, 20 Aug 2024 00:38:21 +0530
User-agent: Mozilla Thunderbird

Hey Dan,

I have noticed some warnings which mark scoped_guard() as unreachablecode 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: ignoringunreachable code.



Thanks,
Harshit

Follow-Ups:
- Re: Bug-report: Smatch treats scoped_guard() as unreachable code ?
  - From: Dan Carpenter

Prev by Date: Re: FP with unreachable code check
Next by Date: Re: Bug-report: Smatch treats scoped_guard() as unreachable code ?
Previous by thread: FP with unreachable code check
Next by thread: Re: Bug-report: Smatch treats scoped_guard() as unreachable code ?
Index(es):
- Date
- Thread

[Index of Archives] [Linux USB Devel] [Linux Audio Users] [Yosemite News] [Linux Kernel] [Linux SCSI] [Big List of Linux Books]

Powered by Linux