From: Martin Uecker
> Sent: 07 December 2024 23:52
...
> While the compiler can not automatically prove every use
> of VLA bounded, it can reliably diagnose the cases where it
> can *not* see that it is bounded. Consider this example:
>
> void oob(int n, char p[n]);
> void f(unsigned int n)
> {
>
Am Sonntag, dem 08.12.2024 um 11:26 + schrieb David Laight:
> From: Martin Uecker
> > Sent: 07 December 2024 23:52
> ...
> > While the compiler can not automatically prove every use
> > of VLA bounded, it can reliably diagnose the cases where it
> > can *not* see that it is bounded. Consider th
Am Samstag, dem 07.12.2024 um 17:58 -0800 schrieb Linus Torvalds:
> On Sat, 7 Dec 2024 at 15:52, Martin Uecker wrote:
> >
> > Can you point me to some horror stories?
>
> So the main issues tended to be about various static verification tools.
>
> Ranging from things like the stackleak plugin f
Am Sonntag, dem 08.12.2024 um 16:48 + schrieb David Laight:
> From: Martin Uecker
> > Sent: 08 December 2024 12:38
...
> ...
> > So a lot of this macro business seems to be necessary
> > to avoid creating warnings for ISO VLAs when instead you really
> > care about the created code not having
On Sun, 8 Dec 2024 at 10:11, Martin Uecker wrote:
> >
> > A lot of the 'macro business' for min/max is avoiding unexpected
> > conversion of negative values to very large unsigned ones.
> > And no, -Wsign-compare is spectacularly useless.
>
> This is a different topic, but what would be needed her
== Series Details ==
Series: linux-next: build failure after merge of the drm-misc tree
URL : https://patchwork.freedesktop.org/series/142270/
State : failure
== Summary ==
Error: make failed
CALLscripts/checksyscalls.sh
DESCEND objtool
INSTALL libsubcmd_headers
CHK kernel/khea
Hi all,
After merging the drm-misc tree, today's linux-next build (x86_64
allmodconfig) failed like this:
In file included from include/linux/module.h:22,
from include/linux/device/driver.h:21,
from include/linux/device.h:32,
from include/linux/d
These two files (i915_live_selftests.h, i915_mock_selftests.h) were
introduced in commit 953c7f82eb89 ("drm/i915: Provide a hook for
selftests") and are effectively just a list of selftests.
The selftest implementation itself is largely in i915_selftest.c, and
uses a MIT license. Graphics drivers
== Series Details ==
Series: drm/i915: Update license on selftest lists to MIT
URL : https://patchwork.freedesktop.org/series/142266/
State : success
== Summary ==
CI Bug Log - changes from CI_DRM_15804 -> Patchwork_142266v1
Summary
---
From: Martin Uecker
> Sent: 08 December 2024 12:38
>
> Am Sonntag, dem 08.12.2024 um 11:26 + schrieb David Laight:
> > From: Martin Uecker
> > > Sent: 07 December 2024 23:52
> > ...
> > > While the compiler can not automatically prove every use
> > > of VLA bounded, it can reliably diagnose th
10 matches
Mail list logo
