diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-02-22 16:10:21 +0100 |
|---|---|---|
| committer | Jiri Slaby <jirislaby@gmail.com> | 2017-02-25 11:11:04 +0100 |
| commit | 4c8fabc7de30e17ef116b8f413f3a973c29cb56c (patch) | |
| tree | 29e23676c07a95e83c58b5bcb5f8fd4189efaf45 /docs | |
| parent | 1b67624c3a2fc1ca6f60d0a2b0f675d046dbba76 (diff) | |
| download | klee-4c8fabc7de30e17ef116b8f413f3a973c29cb56c.tar.gz | |
llvm: stop using global context
It was marked as deprecated long time ago and finally removed in LLVM 3.9. Remove all uses of getGlobalContext and create our own context. Propagate it all over the code then. [v2] use ctx, not C as name Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions