|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Xen-changelog] [xen master] common/initcall: extern linker symbols with correct types
commit 1c7964a1ea4b2f46958fdc716c7b9a06f5514fab
Author: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
AuthorDate: Mon Oct 28 11:58:44 2013 +0100
Commit: Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Mon Oct 28 11:58:44 2013 +0100
common/initcall: extern linker symbols with correct types
Coverity IDs 1054956, 1054957
Coverity pointed out that we applying array operations based on an
expression
which yielded singleton pointers. The problem is actually that the externs
were typed incorrectly.
Correct the extern declaration to prevent straying into undefined behaviour,
and relying on the lenience of GCC to work.
Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
Acked-by: Keir Fraser <keir@xxxxxxx>
---
xen/common/kernel.c | 11 ++++++-----
1 files changed, 6 insertions(+), 5 deletions(-)
diff --git a/xen/common/kernel.c b/xen/common/kernel.c
index b8707d9..4ca50c4 100644
--- a/xen/common/kernel.c
+++ b/xen/common/kernel.c
@@ -196,19 +196,20 @@ void add_taint(unsigned flag)
tainted |= flag;
}
-extern initcall_t __initcall_start, __presmp_initcall_end, __initcall_end;
+extern const initcall_t __initcall_start[], __presmp_initcall_end[],
+ __initcall_end[];
void __init do_presmp_initcalls(void)
{
- initcall_t *call;
- for ( call = &__initcall_start; call < &__presmp_initcall_end; call++ )
+ const initcall_t *call;
+ for ( call = __initcall_start; call < __presmp_initcall_end; call++ )
(*call)();
}
void __init do_initcalls(void)
{
- initcall_t *call;
- for ( call = &__presmp_initcall_end; call < &__initcall_end; call++ )
+ const initcall_t *call;
+ for ( call = __presmp_initcall_end; call < __initcall_end; call++ )
(*call)();
}
--
generated by git-patchbot for /home/xen/git/xen.git#master
_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |