hello~I come back again.🤣
As mentioned in the previous issue, when I was conducting experiments, I found that there was no case for a long time. I finally found that the program consistently outputs False under the judgment of the is_interesting_wrt_ccc, which may be the reason why the case cannot be generated. I tried to execute CCC and found an error:
CommandLine Error: Option 'use-dbg-addr' registered more than once!
LLVM ERROR: inconsistency in registered CommandLine options
, but found that the ccc module that could have been successfully compiled failed with an error as follows:
I think the issue should be caused by the command in the "/callchain_checker/build/src/CMakeFiles/ccc. dir/link. txt" file, but I am not sure how to fix it.
The content in link.txt is like this:
hello~I come back again.🤣 As mentioned in the previous issue, when I was conducting experiments, I found that there was no case for a long time. I finally found that the program consistently outputs False under the judgment of the
is_interesting_wrt_ccc
, which may be the reason why the case cannot be generated. I tried to execute CCC and found an error:I consulted StackOverflow's suggestion and recompiled LLVM-14.0.0 with the following command:
, but found that the ccc module that could have been successfully compiled failed with an error as follows:
I think the issue should be caused by the command in the "/callchain_checker/build/src/CMakeFiles/ccc. dir/link. txt" file, but I am not sure how to fix it. The content in link.txt is like this:
Or is this still a problem caused by inconsistent configuration information in LLVM installation?😢