]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab2d838) | patch
Handle __assume in the VoidExprEvaluator
authorHal Finkel <hfinkel@anl.gov>
Thu, 17 Jul 2014 14:49:58 +0000 (14:49 +0000)
committerHal Finkel <hfinkel@anl.gov>
Thu, 17 Jul 2014 14:49:58 +0000 (14:49 +0000)
commit85b8c025d41ecda9c83424dbd30d84cbeba958e7
tree12dbc013f6a527afd2b708d7e5332212b78fe30atree | snapshot
parentab2d8381a390bfef718dcdbbb2c104f12e10b414commit | diff
Handle __assume in the VoidExprEvaluator

This is a follow-up to an IRC conversation with Richard last night; __assume
does not evaluate its argument, and so the argument should not contribute to
whether (__assume(e), constant) can be used where a constant is required.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@213267 91177308-0d34-0410-b5e6-96231b3b80d8
lib/AST/ExprConstant.cpp diff | blob | history
test/Sema/builtin-assume.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.