Re: [PATCH 5/5] sparse: Add end-to-end compiler shell script

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

 



On 08/22/2011 09:57 AM, Pekka Enberg wrote:
This patch adds a 'kcc' shell script that combines the sparse's i386 backend
with GCC and GNU assembler to make it easier for people to find bugs in sparse.
You can, for example, attempt to build sparse with itself and see it crash and
burn:

   make&&  find . -name "*.o" | xargs rm
   make CC=./kcc
        CC       test-lexing.o
   FIXME! no value for symbol preprocess_only.  creating pseudo 1 (stack offset 4)
   {standard input}: Assembler messages:
   {standard input}:79: Error: operand type mismatch for `mov'
   make: *** [test-lexing.o] Error 1

Cc: Christopher Li<sparse@xxxxxxxxxxx>
Cc: Jeff Garzik<jgarzik@xxxxxxxxxx>
Cc: Linus Torvalds<torvalds@xxxxxxxxxxxxxxxxxxxx>
Signed-off-by: Pekka Enberg<penberg@xxxxxxxxxx>

For the record, the i386 backend is quite incomplete and awful.

Ideally, an sparse compiler would work from linearized output, not from walking the tree as compile-i386 does.

	Jeff




--
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


[Index of Archives]     [Newbies FAQ]     [LKML]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Trinity Fuzzer Tool]

  Powered by Linux