diff options
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 3 | ||||
| -rw-r--r-- | test/Analysis/misc-ps.m | 14 |
2 files changed, 14 insertions, 3 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 4db00d2a6b..5a3f9871f7 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -763,8 +763,7 @@ void GRExprEngine::ProcessIndirectGoto(IndirectGotoNodeBuilder& builder) { } // This is really a catch-all. We don't support symbolics yet. - - assert (V.isUnknown()); + // FIXME: Implement dispatch for symbolic pointers. for (iterator I=builder.begin(), E=builder.end(); I != E; ++I) builder.generateNode(I, state); diff --git a/test/Analysis/misc-ps.m b/test/Analysis/misc-ps.m index ec0e95a465..005109fb73 100644 --- a/test/Analysis/misc-ps.m +++ b/test/Analysis/misc-ps.m @@ -249,7 +249,6 @@ void rdar_6777003(int x) { // regardless of how well the underlying StoreManager reasons about pointer // arithmetic. // <rdar://problem/6777209> - void rdar_6777209(char *p) { if (p == 0) return; @@ -260,3 +259,16 @@ void rdar_6777209(char *p) { if (p == 0) *p = 'c'; // no-warning } + +// PR 4033. A symbolic 'void *' pointer can be used as the address for a +// computed goto. +typedef void *Opcode; +Opcode pr_4033_getOpcode(); +void pr_4033(void) { +next_opcode: + { + Opcode op = pr_4033_getOpcode(); + if (op) goto *op; + } +} + |