Powered by Linux

Re: Smatch for Xen — Semantic Matching Tool

Re: Smatch for Xen

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

Subject: Re: Smatch for Xen
From: Dan Carpenter <dan.carpenter@xxxxxxxxxx>
Date: Mon, 13 Aug 2018 21:31:32 +0300
Cc: Norbert Manthey <norbertmanthey@xxxxxxxxxxxxxx>, smatch@xxxxxxxxxxxxxxx, jsteckli@xxxxxxxxxx, tautschn@xxxxxxxxxxxx
In-reply-to: <20180813175845.muweaoh6s5rxcr57@mwanda>
References: <32158e28-2ee8-f2b9-2d66-77c8eb43b5b5@amazon.de> <20180806103132.vzqmp2ns4ytj2aol@mwanda> <20180806112003.iyir4napbpn4q6z6@mwanda> <20180806131632.w4rd3ntfgoxwxb5l@mwanda> <CAByO1we3OABkX8XCwh7Vq8iHyXAuFtJ3t+Ta3DVCLe9pP6K8ew@mail.gmail.com> <20180806135409.r5xytcrffqi3ddco@mwanda> <cbd1c9fc-1d04-7713-7d92-6cc37015f7ed@amazon.de> <20180813175845.muweaoh6s5rxcr57@mwanda>
User-agent: NeoMutt/20170609 (1.8.3)

Ahh...  Never mind.  My mistake.  It should have just been:

	cat SMATCH/smatch/results/*.c > smatch_warns.txt

The next problem is that I don't seem to be pulling in the
include/xen/compiler.h header file...

regards,
dan carpenter

Follow-Ups:
- Re: Smatch for Xen
  - From: Norbert Manthey

References:
- Smatch for Xen
  - From: Norbert Manthey
- Re: Smatch for Xen
  - From: Dan Carpenter
- Re: Smatch for Xen
  - From: Dan Carpenter
- Re: Smatch for Xen
  - From: Dan Carpenter
- Re: Smatch for Xen
  - From: Dan Carpenter
- Re: Smatch for Xen
  - From: Norbert Manthey
- Re: Smatch for Xen
  - From: Dan Carpenter

Prev by Date: Re: Smatch for Xen
Next by Date: Re: Smatch for Xen
Previous by thread: Re: Smatch for Xen
Next by thread: Re: Smatch for Xen
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