Other notes

This page summarizes several other potential issues with RV-Match.

• Not able to compile OpenMP programs. It will provide the error message Unsupported option: -fopenmp.

Following files are out of date for rv-match repo:

• rv-match/c-semantics-plugin/src/main/c-semantics/profiles/x86_64-linux-gcc-glibc/include/library/sys/cdefs.h (latest version)
• rv-match/c-semantics-plugin/src/main/c-semantics/profiles/x86_64-linux-gcc-glibc/include/library/uchar.h (latest version)