search for: vtable_pointer

...to. Here's how the tree that describes relations between type > groups would look like for the example above: > > <tbaa_root> > |- <may_alias> > |- <representation_byte> > |-<structure> > | |- S > |- int > > The <vtable_pointer> group has a special meaning and is used to > describe accesses to virtual table pointers. As in the current scheme, this group is a peer to <may_alias> above? > Similarly, the > <union> type group includes all union types and used by the TBAA > implementation to disti...

It's hard to say. What you've described sounds close to a neutral type system implemented in metadata. In particular, ". It also defines a set of language-neutral formal rules that LLVM codegen follows to determine whether a given pair of accesses are allowed to overlap by rules of the input language. " and "the base type followed by field descriptors" etc Despite the

...to. Here's how the tree that describes relations between type > groups would look like for the example above: > > <tbaa_root> > |- <may_alias> > |- <representation_byte> > |-<structure> > | |- S > |- int > > The <vtable_pointer> group has a special meaning and is used to > describe accesses to virtual table pointers. Similarly, the > <union> type group includes all union types and used by the TBAA > implementation to distinct union types from other types. The > <may_alias> group is technically e...

...es relations between type >> groups would look like for the example above: >> >> <tbaa_root> >> |- <may_alias> >> |- <representation_byte> >> |-<structure> >> | |- S >> |- int >> >> The <vtable_pointer> group has a special meaning and is used to >> describe accesses to virtual table pointers. Similarly, the >> <union> type group includes all union types and used by the TBAA >> implementation to distinct union types from other types. The >> <may_alias> group...