b3b1fc0231
- Update to version 3.1+20250106: * Freestanding fortify implementation * Freestanding intrinsic implementation * Freestanding klee-libc implementation * Freestanding runtime implementation * Freestanding errno implementation (falls back to host when available) * Define _LARGEFILE64_SOURCE at the beginning of necessary files * Add an option to generate XML test cases * fix ASan support for GCC 14 (and modernize it) - switch to llvm 14, as llvm 16 is used solely by klee OBS-URL: https://build.opensuse.org/request/show/1242811 OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=42