Bug: reading outside of zzzan (2)
Closed this issue · 0 comments
JoshuaGreen commented
When Popeye is tested on
BEISPIEL/hpint.inpBEISPIEL/twin.inpBEISPIEL/lengthy/intelligent_lengthy.inpBEISPIEL/castling.inpBEISPIEL/intelligent.inpREGRESSIONS/4_87_to_4_89.inpREGRESSIONS/4_85_to_4_87.inpREGRESSIONS/4_59_to_4_61.inp
UndefinedBehaviorSanitizer issues complaints like the following:
optimisations/intelligent/mate/generate_doublechecking_moves.c:376:7: runtime error: index 196 out of bounds for type 'SquareFlags[176]'
#0 0x558a56451486 in front_check_by_pawn /home/joshua/clean/popeye/optimisations/intelligent/mate/generate_doublechecking_moves.c:376:7
#1 0x558a56451486 in generate_front_check_via /home/joshua/clean/popeye/optimisations/intelligent/mate/generate_doublechecking_moves.c:427:11
#2 0x558a56451486 in generate_front_check /home/joshua/clean/popeye/optimisations/intelligent/mate/generate_doublechecking_moves.c:458:5
#3 0x558a56450df7 in rear_check_by_rider /home/joshua/clean/popeye/optimisations/intelligent/mate/generate_doublechecking_moves.c:568:11
#4 0x558a56450535 in battery /home/joshua/clean/popeye/optimisations/intelligent/mate/generate_doublechecking_moves.c
#5 0x558a56450535 in intelligent_mate_generate_doublechecking_moves /home/joshua/clean/popeye/optimisations/intelligent/mate/generate_doublechecking_moves.c:962:5
#6 0x558a56424a70 in GenerateBlackKing /home/joshua/clean/popeye/optimisations/intelligent/intelligent.c:417:9
#7 0x558a56424a70 in IntelligentRegulargoal_types /home/joshua/clean/popeye/optimisations/intelligent/intelligent.c:520:5
#8 0x558a56444c7f in Intelligent /home/joshua/clean/popeye/optimisations/intelligent/filter.c:19:3
#9 0x558a56444c7f in intelligent_filter_solve /home/joshua/clean/popeye/optimisations/intelligent/filter.c:48:36
#10 0x558a563918c8 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1506:7
#11 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#12 0x558a564214cb in restart_guard_intelligent_solve /home/joshua/clean/popeye/options/movenumbers/restart_guard_intelligent.c:92:5
#13 0x558a5639249d in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1498:7
#14 0x558a56488363 in pipe_this_move_doesnt_solve_if /home/joshua/clean/popeye/solving/pipe.c:63:5
#15 0x558a5642646f in delegate /home/joshua/clean/popeye/optimisations/intelligent/moves_left.c:95:3
#16 0x558a5642628e in intelligent_moves_left_initialiser_solve /home/joshua/clean/popeye/optimisations/intelligent/moves_left.c:193:5
#17 0x558a563918bb in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1494:7
#18 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#19 0x558a564717e7 in find_by_increasing_length_solve /home/joshua/clean/popeye/solving/find_by_increasing_length.c:61:5
#20 0x558a5639241b in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1486:7
#21 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#22 0x558a5647a22f in reset_unsolvable_solve /home/joshua/clean/popeye/solving/avoid_unsolvable.c:235:3
#23 0x558a563922d6 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:893:7
#24 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#25 0x558a5648e5ac in help_adapter_solve /home/joshua/clean/popeye/solving/help_play/adapter.c:135:3
#26 0x558a56391427 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1699:7
#27 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#28 0x558a5655a4f8 in output_plaintext_end_of_phase_writer_solve /home/joshua/clean/popeye/output/plaintext/end_of_phase_writer.c:46:3
#29 0x558a56392bd3 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1832:7
#30 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#31 0x558a5647a3ee in selfcheck_guard_solve /home/joshua/clean/popeye/solving/selfcheck_guard.c:61:5
#32 0x558a5639127a in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:908:7
#33 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#34 0x558a5655a528 in illegal_selfcheck_writer_solve /home/joshua/clean/popeye/output/plaintext/illegal_selfcheck_writer.c:46:3
#35 0x558a56392bc6 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1828:7
#36 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#37 0x558a5646ff15 in retro_play_null_move /home/joshua/clean/popeye/retro/retro.c:29:3
#38 0x558a563922af in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1720:7
#39 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#40 0x558a5646ffc6 in retro_start_retro_move_ply /home/joshua/clean/popeye/retro/retro.c:100:3
#41 0x558a5639144e in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1740:7
#42 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#43 0x558a5646ff38 in retro_start_retraction_ply /home/joshua/clean/popeye/retro/retro.c:57:3
#44 0x558a56391434 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1716:7
#45 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#46 0x558a5639210f in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1877:7
#47 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#48 0x558a56532e8e in proxies_resolve /home/joshua/clean/popeye/stipulation/proxy.c:148:3
#49 0x558a5639140d in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:588:7
#50 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#51 0x558a56392edf in adjust_slack_length /home/joshua/clean/popeye/solving/machinery/slack_length.c:42:3
#52 0x558a5639141a in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:592:7
#53 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#54 0x558a56396c7b in build_solvers2 /home/joshua/clean/popeye/solving/machinery/solvers.c:824:3
#55 0x558a56392261 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:584:7
#56 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#57 0x558a565583eb in output_plaintext_instrument_solving /home/joshua/clean/popeye/output/plaintext/plaintext.c:1027:3
#58 0x558a56391323 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:459:7
#59 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#60 0x558a5639636b in build_solvers1 /home/joshua/clean/popeye/solving/machinery/solvers.c:690:3
#61 0x558a56391400 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:580:7
#62 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#63 0x558a564702d6 in move_effect_journal_reset /home/joshua/clean/popeye/solving/move_effect_journal.c:46:3
#64 0x558a563913f3 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:576:7
#65 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#66 0x558a563a44b6 in verify_position /home/joshua/clean/popeye/solving/machinery/twin.c:1927:3
#67 0x558a563913e6 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:572:7
#68 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#69 0x558a565667db in output_plaintext_write_twin_intro /home/joshua/clean/popeye/output/plaintext/twinning.c:385:3
#70 0x558a56391fca in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1760:7
#71 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#72 0x558a565649fd in output_plaintext_end_of_position_writers_solve /home/joshua/clean/popeye/output/plaintext/position.c:862:3
#73 0x558a56392bac in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1816:7
#74 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#75 0x558a5656419c in output_plaintext_write_conditions /home/joshua/clean/popeye/output/plaintext/position.c:657:3
#76 0x558a56391f7c in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1784:7
#77 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#78 0x558a5656412e in output_plaintext_write_non_royal_attributes /home/joshua/clean/popeye/output/plaintext/position.c:628:3
#79 0x558a56391f6f in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1780:7
#80 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#81 0x558a565638e7 in output_plaintext_write_royal_piece_positions /home/joshua/clean/popeye/output/plaintext/position.c:549:3
#82 0x558a56391f62 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1776:7
#83 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#84 0x558a56563529 in output_plaintext_write_piece_counts /home/joshua/clean/popeye/output/plaintext/position.c:520:3
#85 0x558a56391f3b in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1772:7
#86 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#87 0x558a56563d55 in output_plaintext_write_stipulation /home/joshua/clean/popeye/output/plaintext/position.c:599:3
#88 0x558a56391f55 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1808:7
#89 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#90 0x558a56562ffe in output_plaintext_write_board /home/joshua/clean/popeye/output/plaintext/position.c:491:3
#91 0x558a56391f2e in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1768:7
#92 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#93 0x558a56562fa0 in output_plaintext_write_meta /home/joshua/clean/popeye/output/plaintext/position.c:461:3
#94 0x558a56392b9f in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1764:7
#95 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#96 0x558a563a6999 in initialise_piece_flags_solve /home/joshua/clean/popeye/solving/machinery/twin.c:1943:3
#97 0x558a5639222d in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:552:7
#98 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#99 0x558a563a57f7 in royals_locator_solve /home/joshua/clean/popeye/solving/machinery/twin.c:1935:5
#100 0x558a5639223a in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:556:7
#101 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#102 0x558a563a76ae in pieces_counter_solve /home/joshua/clean/popeye/solving/machinery/twin.c:1949:3
#103 0x558a56392220 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:548:7
#104 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#105 0x558a56397aae in piece_walk_caches_initialiser_solve /home/joshua/clean/popeye/solving/machinery/twin.c:115:3
#106 0x558a563913cc in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:544:7
#107 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#108 0x558a563a77c8 in create_builder_setup_ply_solve /home/joshua/clean/popeye/solving/machinery/twin.c:1961:3
#109 0x558a56392213 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:540:7
#110 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#111 0x558a563aa5c4 in slices_deallocator_solve /home/joshua/clean/popeye/input/plaintext/twin.c:1115:3
#112 0x558a563913b2 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:528:7
#113 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#114 0x558a563aa34c in solving_machinery_intro_builder_solve /home/joshua/clean/popeye/input/plaintext/twin.c:1036:3
#115 0x558a56391309 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:512:7
#116 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#117 0x558a565584ab in output_plaintext_instrument_solving_builder_solve /home/joshua/clean/popeye/output/plaintext/plaintext.c:1047:3
#118 0x558a56392177 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:455:7
#119 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#120 0x558a56391253 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:496:7
#121 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#122 0x558a563aa47d in stipulation_copier_solve /home/joshua/clean/popeye/input/plaintext/twin.c:1058:3
#123 0x558a563912fc in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:407:7
#124 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#125 0x558a5648942f in phase_solving_incomplete_solve /home/joshua/clean/popeye/solving/incomplete.c:86:3
#126 0x558a563921ab in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:435:7
#127 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#128 0x558a563aa753 in stipulation_starter_detector_solve /home/joshua/clean/popeye/input/plaintext/twin.c:1156:7
#129 0x558a563912ef in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:403:7
#130 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#131 0x558a563aa808 in twin_id_adjuster_solve /home/joshua/clean/popeye/input/plaintext/twin.c:1169:3
#132 0x558a563912d5 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:419:7
#133 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#134 0x558a56567ab8 in output_plaintext_twin_intro_writer_builder_solve /home/joshua/clean/popeye/output/plaintext/twinning.c:446:3
#135 0x558a5639215d in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:520:7
#136 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#137 0x558a563aa897 in twins_handle /home/joshua/clean/popeye/input/plaintext/twin.c:1186:3
#138 0x558a563aa897 in input_plaintext_twins_handle /home/joshua/clean/popeye/input/plaintext/twin.c:1268:13
#139 0x558a563913a5 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:508:7
#140 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#141 0x558a564892c3 in problem_solving_incomplete_solve /home/joshua/clean/popeye/solving/incomplete.c:19:3
#142 0x558a5639219e in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:431:7
#143 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#144 0x558a56548698 in output_latex_problem_writer_solve /home/joshua/clean/popeye/output/latex/problem.c:91:5
#145 0x558a56392c89 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:1000:7
#146 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#147 0x558a563ac18f in input_plaintext_initial_twin_reader_solve /home/joshua/clean/popeye/input/plaintext/twin.c:1303:7
#148 0x558a56391398 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:504:7
#149 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#150 0x558a565687f8 in output_plaintext_problem_writer_solve /home/joshua/clean/popeye/output/plaintext/problem.c:44:3
#151 0x558a56392c7c in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:972:7
#152 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#153 0x558a56583683 in timer_starter_solve /home/joshua/clean/popeye/platform/timer.c:7:3
#154 0x558a563921df in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:475:7
#155 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#156 0x558a563ba64f in input_plaintext_problem_handle /home/joshua/clean/popeye/input/plaintext/problem.c:95:5
#157 0x558a5639138b in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:500:7
#158 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#159 0x558a563ba44d in options_resetter_solve /home/joshua/clean/popeye/input/plaintext/option.c:429:3
#160 0x558a56392191 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:427:7
#161 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#162 0x558a563b9503 in conditions_resetter_solve /home/joshua/clean/popeye/input/plaintext/condition.c:2058:3
#163 0x558a56392184 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:423:7
#164 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#165 0x558a563aa11e in input_plaintext_iterate_problems /home/joshua/clean/popeye/input/plaintext/plaintext.c:43:5
#166 0x558a563921f9 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:491:7
#167 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#168 0x558a563aa209 in input_plaintext_detect_user_language /home/joshua/clean/popeye/input/plaintext/plaintext.c:76:5
#169 0x558a5639137e in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:487:7
#170 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#171 0x558a565584fa in output_plaintext_writer_solve /home/joshua/clean/popeye/output/plaintext/plaintext.c:1066:3
#172 0x558a56391371 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:483:7
#173 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#174 0x558a5646a198 in check_dir_initialiser_solve /home/joshua/clean/popeye/optimisations/orthodox_check_directions.c:65:3
#175 0x558a56391357 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:479:7
#176 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#177 0x558a56583683 in timer_starter_solve /home/joshua/clean/popeye/platform/timer.c:7:3
#178 0x558a563921df in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:475:7
#179 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#180 0x558a565439f3 in output_latex_closer_solve /home/joshua/clean/popeye/output/latex/latex.c:313:3
#181 0x558a56391364 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:451:7
#182 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#183 0x558a56583522 in hashtable_dimensioner_solve /home/joshua/clean/popeye/platform/maxmem.c:60:5
#184 0x558a563921d2 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:471:7
#185 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#186 0x558a56583663 in platform_initialiser_solve /home/joshua/clean/popeye/platform/platform.c:27:3
#187 0x558a563921c5 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:447:7
#188 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#189 0x558a563a93c6 in input_plaintext_opener_solve /home/joshua/clean/popeye/input/plaintext/token.c:90:5
#190 0x558a563921b8 in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:443:7
#191 0x558a564883f8 in pipe_solve_delegate /home/joshua/clean/popeye/solving/pipe.c:93:3
#192 0x558a563a914f in command_line_options_parser_solve /home/joshua/clean/popeye/input/commandline.c:110:3
#193 0x558a5639133d in dispatch /home/joshua/clean/popeye/solving/machinery/dispatch.c:439:7
#194 0x558a5639118d in main /home/joshua/clean/popeye/pymain.c:87:5
#195 0x7fe02e829d8f in __libc_start_call_main csu/../sysdeps/nptl/libc_start_call_main.h:58:16
#196 0x7fe02e829e3f in __libc_start_main csu/../csu/libc-start.c:392:3
#197 0x558a56368684 in _start (/home/joshua/clean/popeye/py+0x166684) (BuildId: af873bac9cb731a6d64baff3d8af4a133797c39f)
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior optimisations/intelligent/mate/generate_doublechecking_moves.c:376:7 in
(Possibly related to Issue #413.)