Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Asmlink.reset should also clean lib_ccobjs/lib_ccopts #1624
As stated in ticket 7738 (https://caml.inria.fr/mantis/view.php?id=7738):
When using the compiler-libs in a program and trying to compile several source codes I noticed some options to gcc accumulated from one compilation to the next, despite I've tried to cleaned as many global variables as I could, including via Asmlink.reset().
Problem seems to be that the aforementioned reset function does not clean lib_ccobjs or lib_ccopts.
The change is correct, but I wonder if it is sufficient. I am worried in particular by the following statements in both
Clflags.ccobjs := !Clflags.ccobjs @ !lib_ccobjs; Clflags.all_ccopts := !lib_ccopts @ !Clflags.all_ccopts; (* put user's opts first *)
Right now the