Re: [PATCH 16/16] fix handling of integer constant expressions

Al Viro wrote:

Hopefully correct handling of integer constant expressions.  Please, review.

Am I invoking sparse wrongly?  ./sparse -W -Wall doesn't diagnose
the following TU, for example.

extern int a;
extern int as1[(a = 2)];

sparse simply doesn't check that.  We don't have anything resembling
support of VLA.

If it did support VLAs it would point out that this is
a constraint violation.  VLAs must have block or function
prototype scope.

--
Derek M. Jones                              tel: +44 (0) 1252 520 667
Knowledge Software Ltd                      mailto:[email protected]
Applications Standards Conformance Testing    http://www.knosof.co.uk
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [email protected]
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

---

• Follow-Ups:
  • Re: [PATCH 16/16] fix handling of integer constant expressions
    • From: Al Viro <[email protected]>

• References:
  • Re: [PATCH 16/16] fix handling of integer constant expressions
    • From: Al Viro <[email protected]>
  • Re: [PATCH 16/16] fix handling of integer constant expressions
    • From: Linus Torvalds <[email protected]>
  • Re: [PATCH 16/16] fix handling of integer constant expressions
    • From: Al Viro <[email protected]>
  • Re: [PATCH 16/16] fix handling of integer constant expressions
    • From: Linus Torvalds <[email protected]>
  • Re: [PATCH 16/16] fix handling of integer constant expressions
    • From: Segher Boessenkool <[email protected]>
  • Re: [PATCH 16/16] fix handling of integer constant expressions
    • From: Al Viro <[email protected]>
  • Re: [PATCH 16/16] fix handling of integer constant expressions
    • From: Josh Triplett <[email protected]>
  • Re: [PATCH 16/16] fix handling of integer constant expressions
    • From: Al Viro <[email protected]>
  • Re: [PATCH 16/16] fix handling of integer constant expressions
    • From: Al Viro <[email protected]>
  • Re: [PATCH 16/16] fix handling of integer constant expressions
    • From: Neil Booth <[email protected]>
  • Re: [PATCH 16/16] fix handling of integer constant expressions
    • From: Al Viro <[email protected]>

• Prev by Date: Re: Problems with fb console [was Re: 2.6.12-rc4-mm2]
• Next by Date: Re: [PATCH try #2] security: Convert LSM into a static interface
• Previous by thread: Re: [PATCH 16/16] fix handling of integer constant expressions
• Next by thread: Re: [PATCH 16/16] fix handling of integer constant expressions
• Index(es):
  • Date
  • Thread

[Index of Archives]     [Kernel Newbies]     [Netfilter]     [Bugtraq]     [Photo]     [Stuff]     [Gimp]     [Yosemite News]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Video 4 Linux]     [Linux for the blind]     [Linux Resources]