Commit Graph
11 Commits
Author SHA1 Message Date
Andrew Cooper 18dca1410d Coverity: Improve model for {,un}map_domain_page()
The first attempt resulted in several "Free of address-of
expression (BAD_FREE)" issues, because of code which relies on the fact that
any pointer in the same page is ok to pass to unmap_domain_page()

Model this property to remove the issues.

Coverity IDs: 1135356 113536{0,1} 1401300 141809{0,1} 1438864
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
2020-01-06 17:22:17 +00:00
Wei Liu 1c1df9b766 docs: consolidate release related documents
Move the existing docs from misc to docs/process.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
2017-08-04 12:01:37 +01:00
Ian Jackson ecb801d629 misc/release-checklist.txt: Try to avoid wrong-tag mistakes
Add some better checking and make the runes a bit more robust.

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
2017-04-12 16:36:30 +01:00
Ian Jackson cd8b69c2bd misc/release-checklist.txt: Preemptive updates
These are things I noticed should be fixed, while trying to make
4.9.0-rc1.

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
2017-04-12 16:33:53 +01:00
Ian Jackson 03a7c07137 misc/branching-checklist: Call mg-branch-setup in Cambridge too
Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
2017-03-21 18:41:03 +00:00
Ian Jackson 3979759c9b misc/release-checklist: Split out branching-checklist.txt
This is almost all just motion.  There is one new paragraph in
branching-checklist.txt:

+ Update both new branches according to release-checklist.txt section re
+ README etc.

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
2017-03-21 18:41:02 +00:00
Ian Jackson 958b30442a misc/release-checklist: Remove pre-4.3 tarball target instructions
4.2 is well out of support and we will never need to make a release of
it again.  Delete all the stuff for making combined tarballs "by hand".

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
2017-03-21 18:41:02 +00:00
Ian Jackson 1c739589f0 misc/release-checklist: Remove clearly-obsolete stuff
Remove:

 - Head comment saying not to edit here.  This came from the
   now-no-longer-master xenbits copy which I have deleted.

 - Many old (commented-out) instruction related to hg

 - Many old (commented-out) instruction related to pre-unified
   qemu trees.

 - Many old (commented-out) instruction related to ancient
   locations within Citrix.

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
2017-03-21 18:41:02 +00:00
Ian Jackson 7b331606cd misc/release-checklist: Import from xenbits:~xen/release-checklist
This checklist is what we use when releasing, branching, and making
tarballs.  Right I want to commit an exact copy of the live copy kept
on xenbits outside version control.  I am fed up of maintaining this
outside version control, and probably xen.git is the best place to put
it.

I have reviewed the contents and while it contains much that might be
considered embarrassing, it doesn't contain any secrets :-).

I suggest that:

 * This file should live in misc/ rather than docs/ on the grounds
   that no-one else is likely to ever want it.

 * We maintain the copy in xen.git#staging as the master copy for all
   branches.  When things change they are more often changes to
   infrastructure organisation and so on.  So the file will continue
   to contain explicit treatment for old Xen branches.

 * We will not retain information about branches which are out of
   security support.  (So some of what is there can be deleted at our
   leisure.)

 * This file will be maintained by the release technicians (currently
   mostly that means me, although others have done some parts of the
   task) and commits will be made by release technicians without
   further review or acks.

Please argue about the filename :-).

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
CC: Andrew Cooper <andrew.cooper3@citrix.com>
CC: George Dunlap <George.Dunlap@eu.citrix.com>
CC: Jan Beulich <jbeulich@suse.com>
CC: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
CC: Stefano Stabellini <sstabellini@kernel.org>
CC: Tim Deegan <tim@xen.org>
CC: Wei Liu <wei.liu2@citrix.com>
2016-12-07 16:48:41 +00:00
Andrew Cooper 5a88f6fede misc/coverity: Model __builtin_unreachable()
This resolves 23 issues Coverity had identified by following the false path of
an ASSERT().

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
2014-09-25 12:00:07 +02:00
Andrew Cooper 25e3f24b6d coverity: Store the modelling file in the source tree.
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
CC: Coverity Team <coverity@xenproject.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
2014-03-12 14:14:59 +00:00