| 361 | } |
| 362 | |
| 363 | std::string debugString(const Value& v) |
| 364 | { |
| 365 | std::string kind; |
| 366 | switch (v.valueKind) { |
| 367 | |
| 368 | case Value::ValueKind::Impossible: |
| 369 | case Value::ValueKind::Known: |
| 370 | kind = "always"; |
| 371 | break; |
| 372 | case Value::ValueKind::Inconclusive: |
| 373 | kind = "inconclusive"; |
| 374 | break; |
| 375 | case Value::ValueKind::Possible: |
| 376 | kind = "possible"; |
| 377 | break; |
| 378 | } |
| 379 | return kind + " " + v.toString(); |
| 380 | } |
| 381 | |
| 382 | void setSourceLocation(Value& v, |
| 383 | SourceLocation ctx, |
no test coverage detected