Module `Mopsa_c_parser.C_utils`Source

C_utils - Utilities to access the simple C AST

Sourcemodule C : sig ... end

Debug

Sourceval log_type_unify : bool ref

verbose logging during type unification, for debugging

Sourceval log_type_compare : bool

verbose logging during type comparison, for debugging

Location utilities

Sourceval range_of_block : C.range Mopsa_utils.ListExt.t -> C.range

From the begining of the first block statement to the end of the last block statement. Raises Invalid_argument for empty blocks.

Size and alignment

Sourceval sizeof_int : C.target_info -> C_AST.integer_type -> int

Size (in bytes) of an integer type.

Sourceval alignof_int : C.target_info -> C_AST.integer_type -> int

Alignment (in bytes) of an integer type.

Sourceval signedness_int : C_AST.integer_type -> C_AST.signedness

Signedness of an integer type.

Sourceval sizeof_float : C.target_info -> C_AST.float_type -> int

Size (in bytes) of a float type.

Sourceval alignof_float : C.target_info -> C_AST.float_type -> int

Alignment (in bytes) of a float type.

Sourceval sizeof_type : C.target_info -> C_AST.typ -> Z.t

Size (in bytes) of a type. Raises an Invalid_argument if the size is not a constant.

Source

val sizeof_expr : 
  C.target_info ->
  C.range ->
  C_AST.type_qual ->
  C_AST.typ ->
  C_AST.expr

Size (in bytes) of a type, as an expression. Handles variable-length ararys.

Sourceval alignof_type : C.target_info -> C_AST.typ -> Z.t

Alignment (in bytes) of a type.

Sourceval type_declarable : C_AST.typ -> bool

Sourceval type_qual_declarable : C_AST.type_qual -> bool

Whether we can declare a variable of this type (sizeof defined).

Useful target-specific types

Sourceval target_int : C.target_int_type -> C_AST.integer_type

Converts target int to SAST int types.

Sourceval size_type : C.target_info -> C_AST.integer_type

Sourceval intmax_type : C.target_info -> C_AST.integer_type

Sourceval ptrdiff_type : C.target_info -> C_AST.integer_type

Sourceval intptr_type : C.target_info -> C_AST.integer_type

Sourceval int64_type : C.target_info -> C_AST.integer_type

Sourceval wchar_type : C.target_info -> C_AST.integer_type

Sourceval wint_type : C.target_info -> C_AST.integer_type

Sourceval char16_type : C.target_info -> C_AST.integer_type

Sourceval char32_type : C.target_info -> C_AST.integer_type

Sourceval sigatomic_type : C.target_info -> C_AST.integer_type

Sourceval processid_type : C.target_info -> C_AST.integer_type

Base integer type of a derived integer type.

Comments

Source

val comment_unify : 
  C_AST.comment list ->
  C_AST.comment list ->
  C_AST.comment list

Ensure that comments are not duplicated.

Source

val comment_macro_unify : 
  (C_AST.comment * C_AST.macro C_AST.StringMap.t) list ->
  (C_AST.comment * C_AST.macro C_AST.StringMap.t) list ->
  (C_AST.comment * C_AST.macro C_AST.StringMap.t) list

Type compatibility

Sourcetype type_cmp = {

cmp_ignore_qual : bool;
(*
if true, type_compatible does not take qualifiers into account in comparison
*)
cmp_int_size : bool;
(*
if true, type_compatible use integer size and signess instead of name
*)
cmp_enum_as_int : bool;
(*
if true, type_compatible handles an enum as an its integer type
*)
cmp_ignore_name : bool;
(*
if true, type_compatible disregards type names in comparison
*)
cmp_ignore_undefined : bool;
(*
if true, an undefined enum, struct or union compares equal to a defined one
*)
cmp_ignore_typedef : bool;
(*
if true, a typedef is replaced with its defining type during comparison
*)
cmp_ignore_array_size : bool;
(*
if true, arrays with undefined size compare equal to that of defined size
*)
cmp_ignore_vector_size : bool;
(*
if true, the size of vector types is ignored in comparison
*)
cmp_ignore_vector_kind : bool;
(*
if true, the kind of vector types is ignored in comparison
*)

}

Comfigures the test equality functions, to allow various relaxation.

Sourceval cmp_compatible : type_cmp

Type compatibility.

Sourceval cmp_unifiable : type_cmp

Unifiable compatibility.

Sourceval cmp_equal : type_cmp

Strict type equality.

Source

val type_compare : 
  type_cmp ->
  (C_AST.uid * C_AST.uid, unit) Hashtbl.t ->
  C.target_info ->
  C_AST.typ ->
  C_AST.typ ->
  bool

Sourceval qual_compare : type_cmp -> C_AST.qualifier -> C_AST.qualifier -> bool

Source

val type_qual_compare : 
  type_cmp ->
  (C_AST.uid * C_AST.uid, unit) Hashtbl.t ->
  C.target_info ->
  C_AST.type_qual ->
  C_AST.type_qual ->
  bool

Sourceval type_compatible : C.target_info -> C_AST.typ -> C_AST.typ -> bool

Source

val type_qual_compatible : 
  C.target_info ->
  C_AST.type_qual ->
  C_AST.type_qual ->
  bool

Type compatibility. Two declarations for the same object must have compatible types.

Sourceval type_equal : C.target_info -> C_AST.typ -> C_AST.typ -> bool

Source

val type_qual_equal : 
  C.target_info ->
  C_AST.type_qual ->
  C_AST.type_qual ->
  bool

Strict type equality, to allow type merging.

Sourceval type_unifiable : C.target_info -> C_AST.typ -> C_AST.typ -> bool

Source

val type_qual_unifiable : 
  C.target_info ->
  C_AST.type_qual ->
  C_AST.type_qual ->
  bool

Arguments are eligible to call type_unify.

Source

val type_qual_unify : 
  (C_AST.uid * C_AST.uid, unit) Hashtbl.t ->
  C.target_info ->
  C_AST.type_qual ->
  C_AST.type_qual ->
  C_AST.type_qual

Sourceval type_unify : C.target_info -> C_AST.typ -> C_AST.typ -> C_AST.typ

Source

val type_unify_qual : 
  C.target_info ->
  C_AST.type_qual ->
  C_AST.type_qual ->
  C_AST.type_qual

Source

val enum_unify : 
  C.target_info ->
  C_AST.enum_type ->
  C_AST.enum_type ->
  C_AST.enum_type

Source

val record_unify : 
  C.target_info ->
  C_AST.record_type ->
  C_AST.record_type ->
  C_AST.record_type

Source

val typedef_unify : 
  C.target_info ->
  C_AST.typedef ->
  C_AST.typedef ->
  C_AST.typedef

Type unification.

Sourceval is_void : C_AST.type_qual -> bool

Expressions utilities

Sourceval expr_type : C_AST.expr -> C_AST.type_qual

Type of an expression.

Sourceval expr_integer_cst : C_AST.range -> C_AST.integer_type -> Z.t -> C_AST.expr

Sourceval expr_float_cst : C_AST.range -> C_AST.float_type -> float -> C_AST.expr

Sourceval expr_complex_cst : C_AST.range -> C_AST.float_type -> float -> C_AST.expr

Sourceval expr_int_zero : C_AST.range -> C_AST.expr

Sourceval expr_int_one : C_AST.range -> C_AST.expr

Sourceval expr_double_zero : C_AST.range -> C_AST.expr

Sourceval expr_bool_true : C_AST.range -> C_AST.expr

Sourceval expr_bool_false : C_AST.range -> C_AST.expr

Sourceval expr_null : C_AST.range -> C_AST.expr

(void* )0

Sourceval expr_void : C_AST.range -> C_AST.expr

(void)0

Sourceval zero_init : C_AST.range -> C_AST.typ -> C_AST.init

Statement utilities

Sourceval make_block : C_AST.statement list -> C_AST.block

Creates a block from a list of statements. Computes the list of local variables declared in the block and not in sub-blocks.

module VarSet : sig ... end

Sourceval resolve_scope : C_AST.block -> C_AST.block

Fill-in scope_update information in the AST. The block is modified in-place, and returned. Call after AST transformations that may change variable scopes.

Errors

Sourceval error : Clang_AST.range -> string -> string -> 'a

Sourceval warning : 'a -> 'b -> 'c -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/mopsa.mopsa_c_parser/Mopsa_c_parser/C_utils/index.html

Module `Mopsa_c_parser.C_utils`Source

Debug

Location utilities

Size and alignment

Useful target-specific types

Comments

Type compatibility

Expressions utilities

Statement utilities

Errors

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

doc/mopsa.mopsa_c_parser/Mopsa_c_parser/C_utils/index.html

Module Mopsa_c_parser.C_utilsSource

Debug

Location utilities

Size and alignment

Useful target-specific types

Comments

Type compatibility

Expressions utilities

Statement utilities

Errors

Module `Mopsa_c_parser.C_utils`Source