Compiler-Assisted Floating-Point Error Analysis and Profiling with FPChecker