Project

General

Profile

Actions
Copy link

Feature #7297

closed

Missed allocation for global pointers

Added by Anton Vasilyev almost 8 years ago. Updated almost 8 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Ilja Zakharov
Category:
Environment models
Target version:
-
Start date:
06/17/2016
Due date:
% Done:

0%

Estimated time:
Published in build:
a43c34a

Description

In attached example require to add allocation for global ldv_1_container_struct_hid_driver and ldv_0_container_struct_hid_driver at least by ldv_malloc()

Files

CPAchecker files(2).tar.gz (40.6 KB) CPAchecker files(2).tar.gz Anton Vasilyev, 06/17/2016 01:52 PM
Actions
Copy link
 #1

Updated by Ilja Zakharov almost 8 years ago

  • Priority changed from Normal to Urgent
Actions
Copy link
 #2

Updated by Evgeny Novikov almost 8 years ago

  • Category changed from Tasks generation to Program fragments generation
Actions
Copy link
 #3

Updated by Ilja Zakharov almost 8 years ago

  • Category changed from Program fragments generation to Environment models
Actions
Copy link
 #4

Updated by Ilja Zakharov almost 8 years ago

  • Tracker changed from Bug to Feature
  • Status changed from New to Resolved

There are two relevant translation options for EMG can help:
1) "allocate with sizeof" - uses a proper sizeof in ldv_malloc instead of null (works much better after I moved control functions to corresponding files with callbacks).
2) "allocate external" - calls function external_allocated_data on each pointer created by EMG.

Implementation is available in emg-improvements branch.

Actions
Copy link
 #5

Updated by Evgeny Novikov almost 8 years ago

  • Status changed from Resolved to Closed
  • Published in build set to a43c34a
Actions
Copy link

Also available in: Atom PDF