A couple of quality-of-implementation things that would be nice to implement: * a warning if __builtin_assume_aligned is used to weaken alignment * extend th undefined behavior sanitizer with codegen for these builtins so that alignment and other invariants are checked at runtime http://llvm-reviews.chandlerc.com/D149