From: Herve Codina <herve.codina@bootlin.com>
To: David Gibson <david@gibson.dropbear.id.au>
Cc: Bjorn Andersson <bjorn.andersson@oss.qualcomm.com>,
devicetree-compiler@vger.kernel.org
Subject: Re: [PATCH] checks: Warn about overlapping reserved-memory ranges
Date: Wed, 30 Sep 2026 13:45:22 +0200 [thread overview]
Message-ID: <20260930134522.35dcd951@bootlin.com> (raw)
In-Reply-To: <arzaAE-rwQUNKtpK@gractus.seuss>
Hi,
On Wed, 30 Sep 2026 19:44:42 +1000
David Gibson <david@gibson.dropbear.id.au> wrote:
...
> >
> > Weird to have '[' and ')'.
>
> [x..y) is a standard notation in maths (it means x is included in the
> range, but y is not). But that doesn't mean it's generally known.
>
I was surprised by the notation and I've looked deeper about it.
Two different math notations exist for an interval notation [0]. The one
you mention (with square brackets and parenthesis) but also the one I know
about (square brackets only).
Knowing now about both notation, having "[x, y)" is not weird anymore. It
matches the "[x, y[" syntax I know about.
[0] https://en.wikipedia.org/wiki/Interval_(mathematics)#Including_or_excluding_endpoints
Hervé
next prev parent reply other threads:[~2026-09-30 11:45 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-09-23 17:50 [PATCH] checks: Warn about overlapping reserved-memory ranges Bjorn Andersson
2026-09-25 17:03 ` Herve Codina
2026-09-30 9:44 ` David Gibson
2026-09-30 11:45 ` Herve Codina [this message]
2026-10-01 1:31 ` David Gibson
2026-09-30 10:09 ` David Gibson
2026-10-01 16:13 ` Rob Herring
2026-10-07 4:58 ` David Gibson
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=20260930134522.35dcd951@bootlin.com \
--to=herve.codina@bootlin.com \
--cc=bjorn.andersson@oss.qualcomm.com \
--cc=david@gibson.dropbear.id.au \
--cc=devicetree-compiler@vger.kernel.org \
/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.