[PATCH] D24999: [Sema] Only relax array-at-end-of-object checks in __builtin_object_size when -fno-strict-aliasing is given.

[George Burgess IV via cfe-commits]

george.burgess.iv created this revision.
george.burgess.iv added reviewers: joerg, rsmith.
george.burgess.iv added a subscriber: cfe-commits.

Mostly asking for a review to verify that you guys are happy with this approach.

Given that Hal said struct-path-tbaa doesn't really deal with arrays (yet), I decided to ignore -fno-struct-path-tbaa. If that changes in the future, we can relax this when that flag is given, too.

https://reviews.llvm.org/D24999

Files:
  include/clang/Basic/LangOptions.def
  lib/AST/ExprConstant.cpp
  lib/Frontend/CompilerInvocation.cpp
  test/CodeGen/object-size.c
  test/CodeGen/pass-object-size.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D24999.72756.patch
Type: text/x-patch
Size: 8119 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20160928/8210898b/attachment.bin>