File: 121.c

package info (click to toggle)
storm-lang 0.7.5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 52,028 kB
  • sloc: ansic: 261,471; cpp: 140,432; sh: 14,891; perl: 9,846; python: 2,525; lisp: 2,504; asm: 860; makefile: 678; pascal: 70; java: 52; xml: 37; awk: 12
file content (67 lines) | stat: -rw-r--r-- 1,511 bytes parent folder | download | duplicates (3)
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
/* 
TEST_HEADER
 id = $Id$
 summary = very small arenas
 language = c
 link = testlib.o
OUTPUT_SPEC
 result = pass
END_HEADER
*/

#include "testlib.h"
#include "mpsavm.h"
#include "mpsacl.h"

mps_arena_t arena;

static char buffer[1024 * 1024];

static void test(void *stack_pointer)
{
  mps_res_t res, prev_res = MPS_RES_OK;
  int i;
  
  /* VM arenas round up small sizes and so creation must succeed. */
  for (i = 1024; i >= 0; i -= i/17 + 1) {
    MPS_ARGS_BEGIN(args) {
      MPS_ARGS_ADD(args, MPS_KEY_ARENA_SIZE, 1024 * i);
      die(mps_arena_create_k(&arena, mps_arena_class_vm(), args),
          "mps_arena_create");
    } MPS_ARGS_END(args);
    mps_arena_destroy(arena);
  }

  /* Client arenas have to work within the memory they are given and
   * so must fail at some point. */
  for (i = 1024; i >= 0; i -= i/17 + 1) {
    MPS_ARGS_BEGIN(args) {
      MPS_ARGS_ADD(args, MPS_KEY_ARENA_CL_BASE, buffer);
      MPS_ARGS_ADD(args, MPS_KEY_ARENA_SIZE, 1024 * i);
      res = mps_arena_create_k(&arena, mps_arena_class_cl(), args);
    } MPS_ARGS_END(args);
    if (res == MPS_RES_OK) {
      if (prev_res != MPS_RES_OK) {
        error("Success with smaller size.");
      }
      mps_arena_destroy(arena);
    } else {
      if (res != MPS_RES_MEMORY) {
        report_res("arena_create", res);
        error("Wrong error code.");
      }
    }
    prev_res = res;
  }
  if (res != MPS_RES_MEMORY) {
    error("Wrong error code.");
  }
}


int main(void)
{
 run_test(test);
 pass();
 return 0;
}