Actions
Bug #7983
closedVTG/ET shouldn't try to remove warning edges with tmp variables
Start date:
02/17/2017
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
Memory problems could occur even on operations which involve temp variables.
Example http://ldvstore:8998/reports/component/94/293014/
Witness is attached.
VTG/ET throws exception:
File "/home/debian/klever/core/core/vtg/et/tmpvars.py", line 139, in __remove_tmp_vars removed_tmp_vars_num_tmp, next_edge = __remove_tmp_vars(error_trace, func_call_edge)
File "/home/debian/klever/core/core/vtg/et/tmpvars.py", line 197, in __remove_tmp_vars error_trace.remove_edge_and_target_node(tmp_var_use_edge)
File "/home/debian/klever/core/core/vtg/et/error_trace.py", line 212, in remove_edge_and_target_node raise ValueError('Cannot delete edge with warning: {!r}'.format(edge['source']))
Files
Actions