search

correctcomputation / checkedc-clang

This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, which aims to enforce spatial memory safety. This repository is a fork of Checked C's.
14 stars 5 forks source link

Multi-file Rewriting w/ Prototypes is broken #79

Closed aaronjeline closed 4 years ago

aaronjeline commented 4 years ago

foo.c: int g(int x) { return x; }

bar.c int g(int );

./cconv-standalone foo.c .bar.c -output-postfix=checked

bar.c gets no changes in the rewriting, bar.checked.c is not created.

john-h-kastner commented 4 years ago

Possibly related: When I run cconv-standalone -output-postfix=checked test.c where test.c contains int x; and nothing else, test.checked.c is not created.

aaronjeline commented 4 years ago

As a general note, the tool doesn't create a new file if no rewriting is done, so I believe that's the intended behavior