This file is indexed.

/usr/lib/mlton/include/gc/int-inf.h is in mlton-basis 20130715-3.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
/* Copyright (C) 2012 Matthew Fluet.
 * Copyright (C) 1999-2008 Henry Cejtin, Matthew Fluet, Suresh
 *    Jagannathan, and Stephen Weeks.
 * Copyright (C) 1997-2000 NEC Research Institute.
 *
 * MLton is released under a BSD-style license.
 * See the file MLton-LICENSE for details.
 */

#if (defined (MLTON_GC_INTERNAL_TYPES))

/* Layout of intInfs.  
 * Note, the value passed around is a pointer to the obj member.
 */
struct GC_intInf_obj {
  mp_limb_t isneg;
  mp_limb_t limbs[1];
};
typedef struct GC_intInf {
  GC_arrayCounter counter;
  GC_arrayLength length;
  GC_header header;
  struct GC_intInf_obj obj;
} __attribute__ ((packed)) *GC_intInf;

COMPILE_TIME_ASSERT(GC_intInf__obj_packed,
                    offsetof(struct GC_intInf, obj) ==
                    sizeof(GC_arrayCounter)
                    + sizeof(GC_arrayLength)
                    + sizeof(GC_header));
COMPILE_TIME_ASSERT(GC_intInf_obj__isneg_packed,
                    offsetof(struct GC_intInf_obj, isneg) ==
                    0);
COMPILE_TIME_ASSERT(GC_intInf_obj__limbs_packed,
                    offsetof(struct GC_intInf_obj, limbs) ==
                    0 + sizeof(mp_limb_t));

#endif /* (defined (MLTON_GC_INTERNAL_TYPES)) */

#if (defined (MLTON_GC_INTERNAL_FUNCS))

COMPILE_TIME_ASSERT(sizeof_mp_limb_t__is_four_or_eight, 
                    (sizeof(mp_limb_t) == 4 || sizeof(mp_limb_t) == 8));
#define GC_INTINF_HEADER ( \
        CHAR_BIT * sizeof(mp_limb_t) == 32 ? \
        GC_WORD32_VECTOR_HEADER : ( \
        CHAR_BIT * sizeof(mp_limb_t) == 64 ? \
        GC_WORD64_VECTOR_HEADER : ( 0 ) ) )

COMPILE_TIME_ASSERT(sizeof_mp_limb_t__compat__sizeof_objptr, 
                    (sizeof(mp_limb_t) >= sizeof(objptr)) ||
                    (sizeof(objptr) % sizeof(mp_limb_t) == 0));
#define LIMBS_PER_OBJPTR ( \
        sizeof(mp_limb_t) >= sizeof(objptr) ? \
        1 : (int)(sizeof(objptr) / sizeof(mp_limb_t)))

PRIVATE void initIntInf (GC_state s);
static inline void fillIntInfArg (GC_state s, objptr arg, __mpz_struct *res, 
                                  mp_limb_t space[LIMBS_PER_OBJPTR + 1]);
static inline void initIntInfRes (GC_state s, __mpz_struct *res, size_t bytes);
static inline objptr finiIntInfRes (GC_state s, __mpz_struct *res, size_t bytes);

#endif /* (defined (MLTON_GC_INTERNAL_FUNCS)) */

#if (defined (MLTON_GC_INTERNAL_BASIS))

PRIVATE objptr IntInf_add (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_andb (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_gcd (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_mul (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_quot (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_orb (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_rem (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_sub (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_xorb (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_neg (objptr arg, size_t bytes);
PRIVATE objptr IntInf_notb (objptr arg, size_t bytes);
PRIVATE objptr IntInf_arshift (objptr arg, Word32_t shift, size_t bytes);
PRIVATE objptr IntInf_lshift (objptr arg, Word32_t shift, size_t bytes);
PRIVATE Int32_t IntInf_compare (objptr lhs, objptr rhs);
PRIVATE Bool_t IntInf_equal (objptr lhs, objptr rhs);
PRIVATE objptr IntInf_toString (objptr arg, Int32_t base, size_t bytes);

#endif /* (defined (MLTON_GC_INTERNAL_BASIS)) */