maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/unittests
History
Dmitri Gribenko 3281138aad [clang][dataflow] Fix SAT solver crashes on `X ^ X` and `X v X` 
BooleanFormula::addClause has an invariant that a clause has no duplicated
literals. When the solver was desugaring a formula into CNF clauses, it
could construct a clause with such duplicated literals in two cases.

Reviewed By: sgatev, ymandel, xazax.hun

Differential Revision: https://reviews.llvm.org/D130522
 		2022-07-26 10:26:44 +02:00
..
AST [C++20] [Modules] Make the linkage consistent for class template and its 2022-07-25 17:57:02 +08:00
ASTMatchers [ASTMatchers] Fix standalone build 2022-07-22 10:32:49 +01:00
Analysis [clang][dataflow] Fix SAT solver crashes on `X ^ X` and `X v X` 2022-07-26 10:26:44 +02:00
Basic Use value instead of getValue (NFC) 2022-07-19 21:18:26 -07:00
CodeGen [tbaa] Handle base classes in struct tbaa 2022-07-06 14:37:59 +02:00
CrossTU [analyzer][ctu] Fix wrong 'multiple definitions' errors caused by space characters in lookup names when parsing the ctu index file 2022-03-22 10:28:42 +08:00
DirectoryWatcher [clang] Use value instead of getValue (NFC) 2022-07-13 23:39:33 -07:00
Driver [test] Fix memory leak in validateTargetProfile 2022-07-16 16:47:50 -07:00
Format [clang-format] Fix a hang when formatting C# $@ string literals 2022-07-25 23:17:54 -07:00
Frontend Fix a buglet in remove_dots(). 2022-06-02 11:07:44 -07:00
Index [clang] Visit enum base specifiers in libIndex 2021-10-25 13:16:14 +02:00
Interpreter [test] Fix leak in test 2022-07-16 12:41:12 -07:00
Introspection Revert "[clang] Implement ElaboratedType sugaring for types written bare" 2022-07-14 21:17:48 -07:00
Lex [clang] Use value instead of getValue (NFC) 2022-07-13 23:39:33 -07:00
Rename Bump googletest to 1.10.0 2021-05-14 19:16:31 +02:00
Rewrite
…
Sema Revert "[clang] Implement ElaboratedType sugaring for types written bare" 2022-07-14 21:17:48 -07:00
Serialization [Serialization] Add missing includes for CHAR_BIT 2022-05-19 10:04:25 +02:00
StaticAnalyzer Revert "[clang] Implement ElaboratedType sugaring for types written bare" 2022-07-14 21:17:48 -07:00
Tooling Use llvm::sort instead of std::sort where possible 2022-07-23 15:19:05 +02:00
libclang
…
CMakeLists.txt [clang-repl] Recommit "Land initial infrastructure for incremental parsing" 2021-05-13 06:30:29 +00:00