MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/tests/warnings'
{ echo MCFLAGS += '--grade csharp     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --output-compile-error-lines 0 --color-diagnostics --infer-all --use-subdirs  --warn-suspicious-foreign-procs  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/stage2/scripts/mmc --make --options-file - warn_succ_ind.depend
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/tests/warnings'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/tests/warnings'
{ echo MCFLAGS += '--grade csharp     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --output-compile-error-lines 0 --color-diagnostics --infer-all --use-subdirs  --warn-suspicious-foreign-procs  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/stage2/scripts/mmc --make --options-file - warn_succ_ind.err
Making Mercury/int3s/warn_succ_ind.int3
Making Mercury/ints/warn_succ_ind.int
Making warn_succ_ind.err
... output log truncated, see `warn_succ_ind.err' for the complete log.
rm -f warn_succ_ind.res_error
diff -u warn_succ_ind.err_exp warn_succ_ind.err > warn_succ_ind.res_error || \
	{ test -f warn_succ_ind.err_exp2 && \
	  diff -u warn_succ_ind.err_exp2 warn_succ_ind.err > warn_succ_ind.res_error; } || \
	{ test -f warn_succ_ind.err_exp3 && \
	  diff -u warn_succ_ind.err_exp3 warn_succ_ind.err > warn_succ_ind.res_error; } || \
	{ test -f warn_succ_ind.err_exp4 && \
	  diff -u warn_succ_ind.err_exp4 warn_succ_ind.err > warn_succ_ind.res_error; } || \
	{ cat warn_succ_ind.err; cat warn_succ_ind.res_error; exit 1; }
warn_succ_ind.m:038: Warning: the C# code for predicate `foo'/2 may set
warn_succ_ind.m:038:   `SUCCESS_INDICATOR', but it cannot fail.
warn_succ_ind.m:062: Warning: the C# code for predicate `foo2'/2 may set
warn_succ_ind.m:062:   `SUCCESS_INDICATOR', but it cannot fail.
warn_succ_ind.m:085: Warning: the C# code for predicate `bar'/2 does not appear
warn_succ_ind.m:085:   to set `SUCCESS_INDICATOR', but it can fail.
warn_succ_ind.m:106: Warning: the C# code for predicate `bar2'/2 does not
warn_succ_ind.m:106:   appear to set `SUCCESS_INDICATOR', but it can fail.
--- warn_succ_ind.err_exp3	2024-06-07 21:46:11.000000000 +1000
+++ warn_succ_ind.err	2024-07-24 15:55:19.869847624 +1000
@@ -1,8 +1,8 @@
-warn_succ_ind.m:046: Warning: the Java code for predicate `foo'/2 may set
-warn_succ_ind.m:046:   `SUCCESS_INDICATOR', but it cannot fail.
-warn_succ_ind.m:070: Warning: the Java code for predicate `foo2'/2 may set
-warn_succ_ind.m:070:   `SUCCESS_INDICATOR', but it cannot fail.
-warn_succ_ind.m:092: Warning: the Java code for predicate `bar'/2 does not
-warn_succ_ind.m:092:   appear to set `SUCCESS_INDICATOR', but it can fail.
-warn_succ_ind.m:113: Warning: the Java code for predicate `bar2'/2 does not
-warn_succ_ind.m:113:   appear to set `SUCCESS_INDICATOR', but it can fail.
+warn_succ_ind.m:038: Warning: the C# code for predicate `foo'/2 may set
+warn_succ_ind.m:038:   `SUCCESS_INDICATOR', but it cannot fail.
+warn_succ_ind.m:062: Warning: the C# code for predicate `foo2'/2 may set
+warn_succ_ind.m:062:   `SUCCESS_INDICATOR', but it cannot fail.
+warn_succ_ind.m:085: Warning: the C# code for predicate `bar'/2 does not appear
+warn_succ_ind.m:085:   to set `SUCCESS_INDICATOR', but it can fail.
+warn_succ_ind.m:106: Warning: the C# code for predicate `bar2'/2 does not
+warn_succ_ind.m:106:   appear to set `SUCCESS_INDICATOR', but it can fail.
make[3]: *** [/tmp/mmake.jLjwov:922: warn_succ_ind.res_error] Error 1
make[3]: Target 'warn_succ_ind.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-23/tests/warnings'
ERROR OUTPUT
warn_succ_ind.m:038: Warning: the C# code for predicate `foo'/2 may set
warn_succ_ind.m:038:   `SUCCESS_INDICATOR', but it cannot fail.
warn_succ_ind.m:062: Warning: the C# code for predicate `foo2'/2 may set
warn_succ_ind.m:062:   `SUCCESS_INDICATOR', but it cannot fail.
warn_succ_ind.m:085: Warning: the C# code for predicate `bar'/2 does not appear
warn_succ_ind.m:085:   to set `SUCCESS_INDICATOR', but it can fail.
warn_succ_ind.m:106: Warning: the C# code for predicate `bar2'/2 does not
warn_succ_ind.m:106:   appear to set `SUCCESS_INDICATOR', but it can fail.
END OF THE ERROR OUTPUT