[m-rev.] diff: fix another deep profiling runtime bug

[Julien Fischer]

Estimated hours taken: 6
Branches: main, release

Fix another bug in the deep profiling runtime.  The proc statics
for the uci preds for the 'user_by_rtti' type were not being
written Deep.data file.  This was tripping the sanity check in
the deep profiling runtime that checks that everything has been
written out.

runtime/mercury_builtin_types.c:
	Make sure that the proc static layouts for the uci preds
	for the builtin type 'user_by_rtti' are written to the Deep.data
	files.

	Add a comment mentioning that if the list of proc static layouts
	for builtin types is changed, then the function that writes them
	out in deep profiling grades may also need to be changed.

Julien.

Index: mercury_builtin_types.c
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_builtin_types.c,v
retrieving revision 1.12
diff -u -r1.12 mercury_builtin_types.c
--- mercury_builtin_types.c	14 Dec 2004 01:07:23 -0000	1.12
+++ mercury_builtin_types.c	9 Jun 2005 08:26:50 -0000
@@ -853,6 +853,9 @@
 /*
 ** If you add another entry to this list, you should also add the corresponding
 ** declaration to mercury_builtin_types_proc_layouts.h.
+** You should also make sure that any changes made here are reflected in
+** the definition of the function
+** mercury_sys_init_mercury_builtin_types_write_out_proc_statics() below.
 */

 MR_DEFINE_PROC_STATIC_LAYOUTS(builtin, int, 0);
@@ -1703,6 +1706,7 @@
 	MR_WRITE_OUT_PROC_STATIC_LAYOUTS(fp, type_desc, type_ctor_desc, 0);
 	MR_WRITE_OUT_PROC_STATIC_LAYOUTS(fp, type_desc, pseudo_type_desc, 0);
 	MR_WRITE_OUT_PROC_STATIC_LAYOUTS(fp, type_desc, type_desc, 0);
+	MR_WRITE_OUT_PROC_STATIC_LAYOUTS(fp, builtin, user_by_rtti, 0);
 }
 #endif


--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------