diff options
author | Christian Kandeler <christian.kandeler@digia.com> | 2012-09-26 10:32:52 (GMT) |
---|---|---|
committer | The Qt Project <gerrit-noreply@qt-project.org> | 2012-10-14 19:40:18 (GMT) |
commit | c7e34fccc4366391487d6d9eb4bb58dd374e8035 (patch) | |
tree | fb83fc96b73e0922ae5b7f661f99c2db51a81259 /src/corelib/tools/qbitarray.h | |
parent | 13e58608d1e139bc5b10489cf0161798d4c93e43 (diff) | |
download | Qt-c7e34fccc4366391487d6d9eb4bb58dd374e8035.zip Qt-c7e34fccc4366391487d6d9eb4bb58dd374e8035.tar.gz Qt-c7e34fccc4366391487d6d9eb4bb58dd374e8035.tar.bz2 |
Prevent an overflow warning in assertions.
Functions like QByteArray::at() assert the given index:
Q_ASSERT(i >= 0 && i < size();
These functions typically get inlined. Now if the index is
e.g. size() - 2, then gcc will emit an ugly warning in
client code ("assuming signed overflow does not occur when assuming
that (X - c) > X is always false").
This can be easily prevented by casting both sides of the second
comparison in the assertion to their unsigned type. The explicit
comparison to zero is then no longer necessary, since that condition
is tested implicitly by the other comparison due to unsigned arithmetic.
Change-Id: Ic7244e1fa5da00a47d1fe0ed56fb81c23d444dfe
Reviewed-by: hjk <qthjk@ovi.com>
Reviewed-by: Marc Mutz <marc.mutz@kdab.com>
Reviewed-by: Thiago Macieira <thiago.macieira@intel.com>
(cherry picked from qtbase/8e90e0805f2981014d3382d8841617b4c56dfc50)
Diffstat (limited to 'src/corelib/tools/qbitarray.h')
-rw-r--r-- | src/corelib/tools/qbitarray.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/corelib/tools/qbitarray.h b/src/corelib/tools/qbitarray.h index 3e9ab31..e0e968c 100644 --- a/src/corelib/tools/qbitarray.h +++ b/src/corelib/tools/qbitarray.h @@ -122,22 +122,22 @@ Q_CORE_EXPORT QBitArray operator|(const QBitArray &, const QBitArray &); Q_CORE_EXPORT QBitArray operator^(const QBitArray &, const QBitArray &); inline bool QBitArray::testBit(int i) const -{ Q_ASSERT(i >= 0 && i < size()); +{ Q_ASSERT(uint(i) < uint(size())); return (*(reinterpret_cast<const uchar*>(d.constData())+1+(i>>3)) & (1 << (i & 7))) != 0; } inline void QBitArray::setBit(int i) -{ Q_ASSERT(i >= 0 && i < size()); +{ Q_ASSERT(uint(i) < uint(size())); *(reinterpret_cast<uchar*>(d.data())+1+(i>>3)) |= uchar(1 << (i & 7)); } inline void QBitArray::clearBit(int i) -{ Q_ASSERT(i >= 0 && i < size()); +{ Q_ASSERT(uint(i) < uint(size())); *(reinterpret_cast<uchar*>(d.data())+1+(i>>3)) &= ~uchar(1 << (i & 7)); } inline void QBitArray::setBit(int i, bool val) { if (val) setBit(i); else clearBit(i); } inline bool QBitArray::toggleBit(int i) -{ Q_ASSERT(i >= 0 && i < size()); +{ Q_ASSERT(uint(i) < uint(size())); uchar b = uchar(1<<(i&7)); uchar* p = reinterpret_cast<uchar*>(d.data())+1+(i>>3); uchar c = uchar(*p&b); *p^=b; return c!=0; } |