en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Sema/builtins-x86.cpp#f34ffd58 [x86] Fix a tiny bug in my test case in r335309 by marking that we don'texpect any diagnostics.llvm-svn: 335310 List of files: /llvm-project-15.0.7/clang/test/Sema/builtins-x86.cpp Thu, 21 Jun 2018 23:52:36 +0000 Chandler Carruth <chandlerc@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Sema/builtins-x86.cpp#16e6bc23 [x86] Teach the builtin argument range check to allow invalid ranges indead code.This is important for C++ templates that essentially compute the validinput in a way that is constant and will cause all the invalid cases tobe dead code that is deleted. Code in the wild actually does this andGCC also accepts these kinds of patterns so it is important to supportit.To make this work, we provide a non-error path to diagnose these issues,and use a default-error warning instead. This keeps the relativelystrict handling but prevents nastiness like SFINAE on these errors. Italso allows us to safely use the system to diagnose this only when itoccurs at runtime (in emitted code).Entertainingly, this required fixing the syntax in various other waysfor the x86 test because we never bothered to diagnose that the returnswere invalid.Since debugging these compile failures was super confusing, I've alsoimproved the diagnostic to actually say what the value was. Most of thechecks I've made ignore this to simplify maintenance, but I've checkedit in a few places to make sure the diagnsotic is working.Depends on D48462. Without that, we might actually crash some part ofthe compiler after bypassing the error here.Thanks to Richard, Ben Kramer, and especially Craig Topper for all thehelp here.Differential Revision: https://reviews.llvm.org/D48464llvm-svn: 335309 List of files: /llvm-project-15.0.7/clang/test/Sema/builtins-x86.cpp Thu, 21 Jun 2018 23:46:09 +0000 Chandler Carruth <chandlerc@gmail.com>