Struct Facts 

pub struct Facts { /* private fields */ }

What is known about the functions a call could reach.

Built once from the module, because the attributes belong to the callee and there is one callee and many call sites. A caller with no module has Facts::nothing, which answers Purity::Opaque to everything and is correct.

Implementations

impl Facts

pub fn nothing() -> Self

Nothing known about anything, which is what a pass holding one function has.

pub fn of_module(module: &Module, names: &Interner) -> Self

What the module says about each of its functions.

The interner is here for the library table, which is written in text because that is what the C standard names. Nothing after this call needs it.

pub fn without_the_library(&mut self)

Turns off the whole library table, which is -fno-builtin and -ffreestanding.

A freestanding program has no C library for the name to be the name of, and a program that means its own thing by strlen is the reason the flag exists.

pub fn not_the_library_name(&mut self, name: Symbol)

Takes one name away from the table, which is -fno-builtin-<name>.

What a build that means its own memcpy and the library’s everything else writes, which is what the kernel does for a handful of names.

pub fn record_inferred(&mut self, name: Symbol, purity: Purity)

Records what document 34’s analysis worked out about a function.

A separate field from the declaration on purpose. The two are combined where they are read and are never written over each other, so that a later build can check one against the other and report the function whose attribute was a lie.

pub fn declared(&self, name: Symbol) -> Purity

What the user declared about this function, on its own.

pub fn inferred(&self, name: Symbol) -> Purity

What analysis worked out about this function, on its own.

pub fn purity_of(&self, callee: Callee) -> Purity

What this call can do.

The match has no wildcard arm and adding a kind of callee should keep it that way.

Trait Implementations

impl Clone for Facts

fn clone(&self) -> Facts

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Facts

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Facts

fn default() -> Facts

Returns the “default value” for a type.