Struct rustc_lint::types::ImproperCTypesVisitor

pub(in types) struct ImproperCTypesVisitor<'a, 'tcx> {
    cx: &'a LateContext<'tcx>,
    mode: CItemKind,
}

Fields

cx: &'a LateContext<'tcx>

mode: CItemKind

Implementations

impl<'a, 'tcx> ImproperCTypesVisitor<'a, 'tcx>

pub(in types) fn check_for_array_ty(
    &mut self,
    sp: Span,
    ty: Ty<'tcx>
) -> bool

Check if the type is array and emit an unsafe type lint.

pub(in types) fn check_field_type_for_ffi(
    &self,
    cache: &mut FxHashSet<Ty<'tcx>>,
    field: &FieldDef,
    substs: SubstsRef<'tcx>
) -> FfiResult<'tcx>

Checks if the given field's type is "ffi-safe".

pub(in types) fn check_variant_for_ffi(
    &self,
    cache: &mut FxHashSet<Ty<'tcx>>,
    ty: Ty<'tcx>,
    def: &AdtDef,
    variant: &VariantDef,
    substs: SubstsRef<'tcx>
) -> FfiResult<'tcx>

Checks if the given VariantDef's field types are "ffi-safe".

pub(in types) fn check_type_for_ffi(
    &self,
    cache: &mut FxHashSet<Ty<'tcx>>,
    ty: Ty<'tcx>
) -> FfiResult<'tcx>

Checks if the given type is "ffi-safe" (has a stable, well-defined representation which can be exported to C code).

pub(in types) fn emit_ffi_unsafe_type_lint(
    &mut self,
    ty: Ty<'tcx>,
    sp: Span,
    note: &str,
    help: Option<&str>
)

pub(in types) fn check_for_opaque_ty(
    &mut self,
    sp: Span,
    ty: Ty<'tcx>
) -> bool

pub(in types) fn check_type_for_ffi_and_report_errors(
    &mut self,
    sp: Span,
    ty: Ty<'tcx>,
    is_static: bool,
    is_return_type: bool
)

pub(in types) fn check_foreign_fn(
    &mut self,
    id: HirId,
    decl: &FnDecl<'_>
)

pub(in types) fn check_foreign_static(
    &mut self,
    id: HirId,
    span: Span
)

pub(in types) fn is_internal_abi(
    &self,
    abi: SpecAbi
) -> bool