zorba-coders team mailing list archive

[Markos Zaharioudakis <markos_za@xxxxxxxxx>]

Markos Zaharioudakis has proposed merging lp:~zorba-coders/zorba/markos-scratch into lp:zorba.

Requested reviews:
  Markos Zaharioudakis (markos-za)

For more details, see:
https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/81434

fixed a wrong assertion in annotations.cpp
-- 
https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/81434
Your team Zorba Coders is subscribed to branch lp:zorba.

=== modified file 'src/annotations/annotations.cpp'
--- src/annotations/annotations.cpp	2011-11-01 13:47:10 +0000
+++ src/annotations/annotations.cpp	2011-11-07 06:35:29 +0000
@@ -380,8 +380,7 @@
 void AnnotationList::checkConflictingDeclarations(const QueryLoc& loc) const
 {
   // make sure we don't have more annotations then max 64 bit
-  assert( static_cast<uint64_t>(AnnotationInternal::zann_end) <
-          std::numeric_limits<uint64_t>::max() );
+  assert(AnnotationInternal::zann_end < 64);
 
   RuleBitSet lCurrAnn;