--- old+++ new@@ -1,9 +1,3 @@-find_top_context () maintenance--* Let find_top_context () deal with references instead of pointers- because every non-empty tree has a top.--* Call find_top_context () rather than get_global_context () where the- caller uses the result as a mere Context.--http://codereview.appspot.com/341150043+Call find_top_context () rather than get_global_context () where the caller uses the result as a mere Context.+ +https://codereview.appspot.com/565320043
Needs: -->
Type: --> Maintainability
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Anonymous
-
2019-12-13
Patch: new --> review
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Anonymous
-
2019-12-13
Passes make, make check and a full make doc.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Anonymous
-
2019-12-15
Patch: review --> countdown
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Anonymous
-
2019-12-15
Patch on countdown for 17th December.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Anonymous
-
2019-12-17
Patch: countdown --> push
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Anonymous
-
2019-12-17
Patch counted down, please push.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Diff:
passes make, make check and a full make doc
Will try introducing a class wrapping a pointer as an annotation that a null pointer is not expected by design.
Issue 5310: find_top_context () instead of get_global_context ()
Call find_top_context () rather than get_global_context () where the
caller uses the result as a mere Context.
https://codereview.appspot.com/565320043
Diff:
Passes make, make check and a full make doc.
Patch on countdown for 17th December.
Patch counted down, please push.