@@ -1232,13 +1232,13 @@ struct __cilkrts_worker;
12321232
12331233// Wrapped __cilkrts_internal_merge_two_rmaps method for dynamic
12341234// interpositioning.
1235- typedef cilkred_map *(*merge_two_rmaps_t )(__cilkrts_worker *const ,
1236- cilkred_map *, cilkred_map * );
1235+ typedef cilkred_map *(*merge_two_rmaps_t )(__cilkrts_worker *, cilkred_map * ,
1236+ cilkred_map *);
12371237static merge_two_rmaps_t dl_merge_two_rmaps = NULL ;
12381238
12391239CILKSAN_API __attribute__ ((weak)) cilkred_map *
1240- __cilkrts_internal_merge_two_rmaps(__cilkrts_worker *const ws ,
1241- cilkred_map *left, cilkred_map * right) {
1240+ __cilkrts_internal_merge_two_rmaps(__cilkrts_worker *ws, cilkred_map *left ,
1241+ cilkred_map *right) {
12421242 if (__builtin_expect (dl_merge_two_rmaps == NULL , 0 )) {
12431243 dl_merge_two_rmaps = (merge_two_rmaps_t )dlsym (
12441244 RTLD_NEXT, " __cilkrts_internal_merge_two_rmaps" );
@@ -1256,17 +1256,19 @@ __cilkrts_internal_merge_two_rmaps(__cilkrts_worker *const ws,
12561256 return res;
12571257}
12581258
1259- // / Wrapped __cilkrts_internal_merge_two_rmaps method for link-time interpositioning.
1259+ // / Wrapped __cilkrts_internal_merge_two_rmaps method for link-time
1260+ // / interpositioning.
12601261CILKSAN_API __attribute__ ((weak)) cilkred_map *
1261- __real___cilkrts_internal_merge_two_rmaps(__cilkrts_worker *const ws,
1262+ __real___cilkrts_internal_merge_two_rmaps(__cilkrts_worker *ws,
12621263 cilkred_map *left,
12631264 cilkred_map *right) {
12641265 return __cilkrts_internal_merge_two_rmaps (ws, left, right);
12651266}
12661267
12671268CILKSAN_API
1268- cilkred_map *__wrap___cilkrts_internal_merge_two_rmaps (
1269- __cilkrts_worker *const ws, cilkred_map *left, cilkred_map *right) {
1269+ cilkred_map *__wrap___cilkrts_internal_merge_two_rmaps (__cilkrts_worker *ws,
1270+ cilkred_map *left,
1271+ cilkred_map *right) {
12701272 disable_checking ();
12711273 cilkred_map *res = __real___cilkrts_internal_merge_two_rmaps (ws, left, right);
12721274 enable_checking ();
0 commit comments