File: numeric_vocab.cc

package info (click to toggle)
monotone 0.48-3
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 20,096 kB
  • ctags: 8,077
  • sloc: cpp: 81,000; sh: 6,402; perl: 1,241; lisp: 1,045; makefile: 655; python: 566; sql: 112; ansic: 52
file content (51 lines) | stat: -rw-r--r-- 1,814 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
// Copyright (C) 2006 Nathaniel Smith <njs@pobox.com>
//
// This program is made available under the GNU GPL version 2.0 or
// greater. See the accompanying file COPYING for details.
//
// This program is distributed WITHOUT ANY WARRANTY; without even the
// implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
// PURPOSE.

// Currently, this file just contains unit tests for widen<>.

#include "base.hh"
#include "unit_tests.hh"
#include "numeric_vocab.hh"

UNIT_TEST(widen)
{
  // These all have double-parens to stop the C preprocessor from becoming
  // confused by the commas in the template arguments.  The static_cast<u8>'s
  // are to shut up compiler warnings.

  // unsigned -> unsigned
  UNIT_TEST_CHECK((widen<u8,u8>(1) == 1));
  UNIT_TEST_CHECK((widen<u8,u8>(255) == 255));
  UNIT_TEST_CHECK((widen<u8,u8>(static_cast<u8>(-1)) == 255));
  UNIT_TEST_CHECK((widen<u32,u8>(1) == 1));
  UNIT_TEST_CHECK((widen<u32,u8>(255) == 255));
  UNIT_TEST_CHECK((widen<u32,u8>(static_cast<u8>(-1)) == 255));
  // unsigned -> signed
  UNIT_TEST_CHECK((widen<s32,u8>(1) == 1));
  UNIT_TEST_CHECK((widen<s32,u8>(255) == 255));
  UNIT_TEST_CHECK((widen<s32,u8>(static_cast<u8>(-1)) == 255));
  // signed -> signed
  UNIT_TEST_CHECK((widen<s32,s8>(1) == 1));
  UNIT_TEST_CHECK((widen<s32,s8>(255) == -1));
  UNIT_TEST_CHECK((widen<s32,s8>(-1) == -1));
  // signed -> unsigned ((critical case!))
  UNIT_TEST_CHECK((widen<u32,s8>(1) == 1));
  UNIT_TEST_CHECK((widen<u32,s8>(255) == 255));
  UNIT_TEST_CHECK((widen<u32,s8>(-1) == 255));
  // contrasts with:
  UNIT_TEST_CHECK((static_cast<u32>(s8(-1)) == u32(4294967295u)));
}

// Local Variables:
// mode: C++
// fill-column: 76
// c-file-style: "gnu"
// indent-tabs-mode: nil
// End:
// vim: et:sw=2:sts=2:ts=2:cino=>2s,{s,\:s,+s,t0,g0,^-2,e-2,n-2,p2s,(0,=s: