]> xenbits.xensource.com Git - xen.git/commit
projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3bf6969) | patch
tools/ocaml: libxb: Harden stub_header_of_string()
authorJulien Grall <jgrall@amazon.com>
Mon, 30 Mar 2020 13:29:10 +0000 (14:29 +0100)
committerJulien Grall <jgrall@amazon.com>
Mon, 20 Apr 2020 14:03:03 +0000 (15:03 +0100)
commitd92ba1aa7cf877a77abdcbd94a6a19fc55886a75
treeebade8fe6f6e7bcfd6a500fae45890f75c82dbfctree
parent3bf69699cacad3efb4fe6109044365f79379ed20commit | diff
tools/ocaml: libxb: Harden stub_header_of_string()

stub_header_of_string() should not modify the header. So mark the
variable 'hdr' as const.

Signed-off-by: Julien Grall <jgrall@amazon.com>
Acked-by: Christian Lindig <christian.lindig@citrix.com>
tools/ocaml/libs/xb/xenbus_stubs.c diff | blob | blame | history
Xen (staging and unstable) mirror