with Coccinelle by using the following config file:
@@
identifier x,y;
identifier f;
statement S;
@@
x = f(...);
(
if (x 0) S
|
if (
- y
+ x
0) S
)
This patch now fixes these issues.
Signed-off-by: Thomas Huth h...@tuxfamily.org
---
Note: I haven't tested this patch at all, so
Am Tue, 25 Aug 2015 17:09:40 +0200
schrieb Thomas Huth h...@tuxfamily.org:
In the Getting Started with Coccinelle - KVM edition presentation
that has been held by Julia Lawall at the KVM forum 2015 (see the
slides at
http://events.linuxfoundation.org/sites/events/files/slides/tutorial_kvm_0
On 21/10/2021 08.00, Thomas Huth wrote:
On 21/10/2021 07.16, Stefan Roese wrote:
On 21.10.21 00:32, Heinrich Schuchardt wrote:
On 10/19/21 9:25 AM, Thomas Huth wrote:
The PPC 440 support has been removed in commit 98f705c9ce
("powerpc: remove 4xx support") already, so this file is
On 21/10/2021 07.20, Stefan Roese wrote:
The PPC440 support has been removed in commit 98f705c9ce
("powerpc: remove 4xx support"). This patch removes this obsolete
file as well.
Signed-off-by: Stefan Roese
Cc: Heinrich Schuchardt
Cc: Thomas Huth
---
doc/README.nand-boot-p
On 21/10/2021 07.16, Stefan Roese wrote:
On 21.10.21 00:32, Heinrich Schuchardt wrote:
On 10/19/21 9:25 AM, Thomas Huth wrote:
The PPC 440 support has been removed in commit 98f705c9ce
("powerpc: remove 4xx support") already, so this file is
certainly not required anymore.
The PPC 440 support has been removed in commit 98f705c9ce
("powerpc: remove 4xx support") already, so this file is
certainly not required anymore.
Signed-off-by: Thomas Huth
---
doc/README.440-DDR-performance | 90 --
1 file changed, 90 deletions(-)
d
On 23/10/2021 13.14, Heinrich Schuchardt wrote:
Support for PPC4XX processors has been removed. So we should not mention it
in the documentation.
Signed-off-by: Heinrich Schuchardt
---
doc/README.bedbug | 22 --
1 file changed, 22 deletions(-)
Reviewed-by: Thomas Huth
On 26/10/2021 14.31, Thomas Huth wrote:
The last board that used to set CONFIG_LYNXKDI has been removed in
commit 242836a893ae ("powerpc: ppc4xx: remove pcs440ep support"),
doc/README.lynxkdi only talks about a MPC8260 board being supported,
and the mpc8260 support has been removed
his OS is definitely not supported anymore, so remove it from
the corresponding lists.
Signed-off-by: Thomas Huth
---
README | 3 +--
boot/image.c | 3 ---
2 files changed, 1 insertion(+), 5 deletions(-)
diff --git a/README b/README
index 9606a8b3ac..064e781d45 100644
--- a/README
+++
t;powerpc, 8260: remove support for mpc8260") already,
and common/lynxkdi.c only consists of an "#error" statement these
days, so it seems like the LYNX KDI code is dead code nowadays.
Let's remove it now.
Signed-off-by: Thomas Huth
---
common/Makefile | 1 -
com
+= -mstring -mcpu=860 -msoft-float
+PLATFORM_CPPFLAGS += -mcpu=860 -msoft-float
Reviewed-by: Thomas Huth
Support for the PPC74xx processors has been removed in commit
d928664f41 ("powerpc: 74xx_7xx: remove 74xx_7xx cpu support")
more than 6 years ago already. So the corresponding README file
can now be removed, too.
Signed-off-by: Thomas Huth
---
doc/README.mpc74xx | 22 ---
The related boards have been removed four years ago already, in
commit 98f705c9cefd ("powerpc: remove 4xx support"), so this README
file is not required anymore.
Signed-off-by: Thomas Huth
---
doc/README.AMCC-eval-boards-cleanup | 31 -
1 file changed, 31
On 13/11/2021 18.13, Thomas Huth wrote:
LynxOS needed the do_bootm_lynxkdi() function that got removed in
7e713067ee ("Remove LYNX KDI remainders") - and that function needed
a lynxkdi_boot() function, where the last implementation had been
removed in 98f705c9ce ("powerpc: rem
elete mode 100644 common/bedbug.c
delete mode 100644 doc/README.bedbug
delete mode 100644 include/bedbug/bedbug.h
delete mode 100644 include/bedbug/ppc.h
delete mode 100644 include/bedbug/regs.h
delete mode 100644 include/bedbug/tables.h
delete mode 100644 include/bedbug/type.h
Reviewed-
15 matches
Mail list logo
