Magic-Mirror/llvm-capstone
1
0
Fork 0
mirror of https://github.com/capstone-engine/llvm-capstone.git synced 2025-03-04 00:20:14 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

[CFG] Allow CallExpr's to be looked up in CFG's

Browse Source 
r327343 changed the handling for CallExpr in a CFG, which prevented lookups for
CallExpr while other Stmt kinds still worked.  This change carries over the
necessary bits from Stmt function to CallExpr function.

llvm-svn: 327593
This commit is contained in:
Richard Trieu 2018-03-15 00:09:26 +00:00
parent b84d653e9b
commit f4a0e9a78c
2 changed files with 27 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
clang/lib/Analysis/CFG.cpp
View File

@ -750,6 +750,9 @@ private:
}
void appendCall(CFGBlock *B, CallExpr *CE) {
if (alwaysAdd(CE) && cachedEntry)
cachedEntry->second = B;
if (BuildOpts.AddRichCXXConstructors) {
if (CFGCXXRecordTypedCall::isCXXRecordTypedCall(CE, *Context)) {
if (const ConstructionContextLayer *Layer =

24
clang/test/SemaCXX/constant-conversion.cpp Normal file
View File

@ -0,0 +1,24 @@
// RUN: %clang_cc1 -fsyntax-only -verify -triple x86_64-apple-darwin %s
// This file tests -Wconstant-conversion, a subcategory of -Wconversion
// which is on by default.
constexpr int nines() { return 99999; }
void too_big_for_char(int param) {
char warn1 = false ? 0 : 99999;
// expected-warning@-1 {{implicit conversion from 'int' to 'char' changes value from 99999 to -97}}
char warn2 = false ? 0 : nines();
// expected-warning@-1 {{implicit conversion from 'int' to 'char' changes value from 99999 to -97}}
char warn3 = param > 0 ? 0 : 99999;
// expected-warning@-1 {{implicit conversion from 'int' to 'char' changes value from 99999 to -97}}
char warn4 = param > 0 ? 0 : nines();
// expected-warning@-1 {{implicit conversion from 'int' to 'char' changes value from 99999 to -97}}
char ok1 = true ? 0 : 99999;
char ok2 = true ? 0 : nines();
char ok3 = true ? 0 : 99999 + 1;
char ok4 = true ? 0 : nines() + 1;
}