configury: enhance short float detection with clang#13188

ggouaillardet wants to merge 1 commit intoopen-mpi:mainopen-mpi/ompi:mainfrom

ggouaillardet:topic/clang_short_floatggouaillardet/ompi:topic/clang_short_floatCopy head branch name to clipboard