Commits · 02f895ab3e0581ebf29c5b86b774911746a34570 · HPC2SE-Project / pacxx-clang · GitLab

Snippets Groups Projects

Jun 22, 2017
- [analyzer] Do not continue to analyze a path if the constraints contradict with builtin assume · 02f895ab
  Gabor Horvath authored 7 years ago
  02f895ab
Mar 03, 2017
- Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers · 2cfd9013
  Dominic Chen authored 8 years ago
  2cfd9013
- Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support... · 9e59e2cc
  Dominic Chen authored 8 years ago
  9e59e2cc
- Reland 3: [analyzer] NFC: Update test infrastructure to support multiple constraint managers · ea36f140
  Dominic Chen authored 8 years ago
  ea36f140
Mar 02, 2017
- Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support... · 87c8f413
  Dominic Chen authored 8 years ago
  87c8f413
- Reland 2: [analyzer] NFC: Update test infrastructure to support multiple constraint managers · f93343c0
  Dominic Chen authored 8 years ago
  f93343c0
Feb 28, 2017
- Revert "Reland: [analyzer] NFC: Update test infrastructure to support multiple constraint managers" · 55aef8b0
  Dominic Chen authored 8 years ago
  55aef8b0
- Reland: [analyzer] NFC: Update test infrastructure to support multiple constraint managers · 1b28d0b1
  Dominic Chen authored 8 years ago
  1b28d0b1
Feb 27, 2017
- Revert "[analyzer] NFC: Update test infrastructure to support multiple constraint managers" · eb259b6a
  Dominic Chen authored 8 years ago
  eb259b6a
- [analyzer] NFC: Update test infrastructure to support multiple constraint managers · 8e7780b9
  Dominic Chen authored 8 years ago
  8e7780b9
Sep 09, 2014
- Teach the analyzer that __builtin_assume_aligned returns its first argument. · 4c4ef1f5
  Jordan Rose authored 10 years ago
  4c4ef1f5
Aug 19, 2013
- Omit arguments of __builtin_object_size from the CFG. · 7d0dcd2d
  Jordan Rose authored 11 years ago
  7d0dcd2d
Jul 12, 2013
- [analyzer] Add support for __builtin_addressof. · 7c0a8b56
  Jordan Rose authored 11 years ago
  7c0a8b56