All of lore.kernel.org
 help / color / mirror / Atom feed
From: "Frank Ch. Eigler" <fche@redhat.com>
To: Mathieu Desnoyers <compudj@krystal.dyndns.org>
Cc: "Frank Ch. Eigler" <fche@redhat.com>,
	ltt-dev@shafik.org, systemtap@sources.redhat.com,
	linux-sparse@vger.kernel.org, michel.dagenais@polymtl.ca
Subject: Re: Linux Kernel Markers format string idea
Date: Tue, 26 Dec 2006 14:48:13 -0500	[thread overview]
Message-ID: <20061226194813.GB20627@redhat.com> (raw)
In-Reply-To: <20061221162035.GA9609@Krystal>

Hi -

On Thu, Dec 21, 2006 at 11:20:35AM -0500, Mathieu Desnoyers wrote:

> [...]  I just had an idea about a format string extension that would
> help fix the missing type checking with format strings for Linux
> Kernel Markers. [...]  The idea is to add the type between brackets
> after the conversion specifier.  For a pointer to a structure :
> "%p[struct mystruct *]" [...]

It's probably an improvement, though as it is still at the
programmers' discretion, it is less useful for checking and more as
documenting.  I remain ambivalent about whether exposing this level of
detail (complex typing) is a good idea, or whether imposing a small
fixed set of types (string/number/blob) is better.

- FChE

      reply	other threads:[~2006-12-26 19:48 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-12-21 16:20 Linux Kernel Markers format string idea Mathieu Desnoyers
2006-12-26 19:48 ` Frank Ch. Eigler [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20061226194813.GB20627@redhat.com \
    --to=fche@redhat.com \
    --cc=compudj@krystal.dyndns.org \
    --cc=linux-sparse@vger.kernel.org \
    --cc=ltt-dev@shafik.org \
    --cc=michel.dagenais@polymtl.ca \
    --cc=systemtap@sources.redhat.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.