paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-09-01 20:50:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

* dead store elimnation should not remove statements which can cause an exception

Browse Source
This commit is contained in:
florian 2022-11-02 22:13:40 +01:00
parent 05c45486e8
commit a0366d7d28
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/optdeadstore.pas
View File

@ -79,7 +79,7 @@ unit optdeadstore;
((a.right.nodetype in [niln,stringconstn,pointerconstn,setconstn,guidconstn]) or ((a.right.nodetype in [niln,stringconstn,pointerconstn,setconstn,guidconstn]) or
((a.right.nodetype=ordconstn) and not(cs_check_range in current_settings.localswitches)) or ((a.right.nodetype=ordconstn) and not(cs_check_range in current_settings.localswitches)) or
((a.right.nodetype=realconstn) and not(cs_ieee_errors in current_settings.localswitches)) or ((a.right.nodetype=realconstn) and not(cs_ieee_errors in current_settings.localswitches)) or
((cs_opt_dead_values in current_settings.optimizerswitches) and not(might_have_sideeffects(a.right))) ((cs_opt_dead_values in current_settings.optimizerswitches) and not(might_have_sideeffects(a.right,[mhs_exceptions])))
) then ) then
begin begin
redundant:=not(assigned(a.successor)) or not(DFASetIn(a.successor.optinfo^.life,a.left.optinfo^.index)); redundant:=not(assigned(a.successor)) or not(DFASetIn(a.successor.optinfo^.life,a.left.optinfo^.index));