Function check_struct_for_power_alignment 

fn check_struct_for_power_alignment<'tcx>(
    cx: &LateContext<'tcx>,
    item: &'tcx Item<'tcx>,
    adt_def: AdtDef<'tcx>,
)

Check a struct definition for respect of the Power alignment Rule (as in PowerPC), which should be respected in the “aix” target OS. To do so, we must follow one of the two following conditions:

• The first field of the struct must be floating-point type that is greater than 4-bytes.
• The first field of the struct must be an aggregate whose recursively first field is a floating-point type greater than 4 bytes.