index
:
ampere-computing/clang.git
release_60-f1b37feef3d-amp-20180630
release_70-e8af9b4c407-amp-20181130
clang including Ampere Computing toolchain specific patches
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
Analysis
/
bool-assignment.c
Age
Commit message (
Expand
)
Author
2017-07-12
Revert "[analyzer] Support generating and reasoning over more symbolic constr...
Dominic Chen
2017-07-12
[analyzer] Support generating and reasoning over more symbolic constraint types
Dominic Chen
2017-03-03
Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...
Dominic Chen
2017-03-02
Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...
Dominic Chen
2017-03-02
Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...
Dominic Chen
2017-03-02
Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...
Dominic Chen
2017-03-02
Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...
Dominic Chen
2017-02-28
Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...
Dominic Chen
2017-02-28
Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...
Dominic Chen
2017-02-27
Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...
Dominic Chen
2017-02-27
[analyzer] NFC: Update test infrastructure to support multiple constraint man...
Dominic Chen
2016-01-18
[analyzer] Fix an off-by-one in evalIntegralCast()
Artem Dergachev
2013-05-01
Re-apply "[analyzer] Model casts to bool differently from other numbers."
Jordan Rose
2013-04-29
Revert "[analyzer] Model casts to bool differently from other numbers."
Jordan Rose
2013-04-26
[analyzer] Model casts to bool differently from other numbers.
Jordan Rose
2013-04-26
[analyzer] Consolidate BoolAssignmentChecker tests by using two RUN lines.
Jordan Rose
