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 /test/c/fannkuch.c | |
parent | c3c0aba2ed285bc33208cfc67667f47d6d1b0762 (diff) | |
download | compcert-b55d63d2917b384fa0f5da76d7d16036ad263847.tar.gz compcert-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 'test/c/fannkuch.c')
0 files changed, 0 insertions, 0 deletions