index
:
delta/clang.git
baserock/flang
google/stable
google/testing
master
release_26
release_27
release_28
release_29
release_30
release_31
release_32
release_33
release_34
release_35
release_35@215011
release_36
release_37
release_38
release_39
release_40
release_50
release_60
release_70
release_80
release_90
svn-tags/RELEASE_26
svn-tags/RELEASE_27
svn-tags/RELEASE_28
svn-tags/RELEASE_29
svn-tags/RELEASE_30
svn-tags/RELEASE_31
llvm.org: Obsolete (use llvm)
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
Analysis
/
bitwise-ops.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
[analyzer] Fix constraint being dropped when analyzing a program without tain...
Mikhail R. Gadelha
2018-07-16
1
-3
/
+2
*
[analyzer] Model and check unrepresentable left shifts
Gabor Horvath
2018-01-22
1
-0
/
+6
*
[analyzer] Left shifting a negative value is undefined
Gabor Horvath
2017-10-30
1
-0
/
+7
*
[Analyzer] Clarify error messages for undefined result
Daniel Marjamaki
2017-10-11
1
-3
/
+17
*
Revert "[analyzer] Support generating and reasoning over more symbolic constr...
Dominic Chen
2017-07-12
1
-4
/
+5
*
[analyzer] Support generating and reasoning over more symbolic constraint types
Dominic Chen
2017-07-12
1
-5
/
+4
*
Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...
Dominic Chen
2017-03-03
1
-1
/
+1
*
Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...
Dominic Chen
2017-03-02
1
-1
/
+1
*
Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...
Dominic Chen
2017-03-02
1
-1
/
+1
*
Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...
Dominic Chen
2017-03-02
1
-1
/
+1
*
Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...
Dominic Chen
2017-03-02
1
-1
/
+1
*
Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...
Dominic Chen
2017-02-28
1
-1
/
+1
*
Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...
Dominic Chen
2017-02-28
1
-1
/
+1
*
Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...
Dominic Chen
2017-02-27
1
-1
/
+1
*
[analyzer] NFC: Update test infrastructure to support multiple constraint man...
Dominic Chen
2017-02-27
1
-1
/
+1
*
[analyzer] Shitfing a constant value by its bit width is undefined.
Jordan Rose
2014-01-16
1
-1
/
+19
*
[analyzer] Add tests for symbolic expression liveness.
Jordan Rose
2012-09-25
1
-0
/
+14