diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-23 12:32:50 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-23 12:32:50 +0200 |
| commit | b55d63d2917b384fa0f5da76d7d16036ad263847 (patch) | |
| tree | 5b6e45bcd99437e5d2866f0a2603674c80ecf5e0 /backend/Regalloc.ml | |
| parent | c3c0aba2ed285bc33208cfc67667f47d6d1b0762 (diff) | |
| download | compcert-kvx-b55d63d2917b384fa0f5da76d7d16036ad263847.tar.gz compcert-kvx-b55d63d2917b384fa0f5da76d7d16036ad263847.zip | |
Print prototypes for malloc and free.
The declarations of malloc and free should also be printed for
CompCert C.
Bug 19616.
Diffstat (limited to 'backend/Regalloc.ml')
0 files changed, 0 insertions, 0 deletions