songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix a warning from UBSAN (in a postcondition)

This commit is contained in:
Laurent Rineau 2025-01-24 18:14:29 +01:00
parent b31c2ddbe1
commit e1e94a1304
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Number_types/include/CGAL/MP_Float.h
View File

@ -167,7 +167,7 @@ public:
low = static_cast<limb>(l & mask); //extract low bits from l low = static_cast<limb>(l & mask); //extract low bits from l
high= static_cast<limb>((l - low) >> sizeof_limb); //extract high bits from l high= static_cast<limb>((l - low) >> sizeof_limb); //extract high bits from l
CGAL_postcondition ( l == low + ( static_cast<limb2>(high) << sizeof_limb ) ); CGAL_postcondition ( l == low + ( high * (limb2(1) << sizeof_limb) ) );
} }
// Given a limb2, returns the higher limb. // Given a limb2, returns the higher limb.