| 494 | } |
| 495 | |
| 496 | bool |
| 497 | CGOptions::has_extension_support() |
| 498 | { |
| 499 | return (CGOptions::splat() || CGOptions::klee() |
| 500 | || CGOptions::crest() || CGOptions::coverage_test()); |
| 501 | } |
| 502 | |
| 503 | bool |
| 504 | CGOptions::allow_int64() |
nothing calls this directly
no outgoing calls
no test coverage detected