PatR ffcd471ef7
fix github issue #309 - random role segfault ...
Role selection is insanely complex. I had to use a debugger to force
the relevant routine to be executed.
The analysis was correct: it could use rn2(14) to pick a role (valid
values 0 through 12) and randomly getting 13 would lead to a crash.
The terminating element of roles[] passes all the ok_role(), ok_race(),
etc tests. Explicitly exclude that element when collecting the roles
to choose from.
2020-03-01 14:36:28 -08:00
2018-11-11 10:29:52 -05:00
2020-02-15 13:08:34 -08:00
2019-11-03 17:59:39 -08:00
2018-04-25 16:54:50 -04:00
2020-01-14 12:01:30 -05:00
2018-09-21 16:36:38 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 18:12:42 -07:00
2018-09-21 14:57:12 -04:00
2018-04-25 16:54:50 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2018-09-21 18:12:42 -07:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2003-05-11 13:40:01 +00:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-09-21 18:12:42 -07:00
2019-05-09 17:15:14 -07:00
2019-12-03 23:32:12 -05:00
2020-01-13 15:30:23 -05:00
2020-01-25 17:07:45 -08:00
2020-03-01 14:36:28 -08:00
2016-06-19 19:52:28 -04:00
2020-02-14 18:15:25 -08:00
2020-02-15 14:42:00 -08:00
2020-02-17 13:39:04 -05:00
2020-02-17 13:39:04 -05:00
2020-02-17 14:39:24 -05:00
2020-01-01 11:59:43 -05:00
2020-01-27 14:44:29 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:10 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:26 -05:00
2020-01-19 23:09:53 -05:00
2020-01-20 08:52:59 -05:00
2020-03-01 11:04:02 -05:00
2018-04-25 16:54:50 -04:00
2020-01-14 12:02:57 -05:00
2018-09-20 18:02:48 -04:00
2019-11-14 08:20:38 -05:00
2020-02-26 00:24:37 -05:00
ffcd471ef7