Description
SanitizerCoverage is a middle-end LLVM instrumentation pass
that "inserts calls to user-defined functions on function-, basic-block-, and edge- levels.
Default implementations of those callbacks are provided <...>"
Would it be considered acceptable to add (at least a) a front-end switch (julia --sanitizer-coverage
?)
to control insertion of said pass into the LLVM pass pipeline (close to where sanitizer passes are handled)?
The long story is, i have a C++ codebase, and in my expirience, having more than one implementation
is paramount to weeding-out various issues, so i'm somewhat interested in having a second implementation
of said codebase. But just having a second implementation isn't sufficient, the key is to be able to compare
their externally-observable side-effects, and fuzzing is rather invaluable there, and that strongly suggests
AOT compilation and guided fuzzing, and thus coverage is needed (thus, subj).