Skip to content

Feature/limits

T-Gruber requested to merge T-Gruber/frama-clang:feature/limits into master

The standard library of Frama-Clang is knwon to be incomplete. The implementation of the limits header should be added. This requires changes to three files:

cfloat:

  • add cfloat header to share/libc++
  • includes float.h from the C standard library
  • implementation of limits header uses macros defined in float.h

limits:

  • add limits header to share/libc++
  • add implementation of std::numeric_limits template class

Makefile.common:

  • add cfloat and limits header to CXX_HEADERS (Installed header files)

Merge request reports