Dominic Chen c0402c6916 Revert "[analyzer] Support generating and reasoning over more symbolic constraint types" ...

Assertion `Loc::isLocType(SSE->getLHS()->getType())' failed in Analysis/PR3991.m

This reverts commit e469ff2759275e67f9072b3d67fac90f647c0fe6.

llvm-svn: 307853

2017-07-12 21:43:42 +00:00

..

AnalysisManager.cpp

CFG: Add CFGElement for automatic variables that leave the scope

2017-07-12 07:04:19 +00:00

AnalyzerOptions.cpp

CFG: Add CFGElement for automatic variables that leave the scope

2017-07-12 07:04:19 +00:00

APSIntType.cpp

…

BasicValueFactory.cpp

[analyzer] Add a new SVal to support pointer-to-member operations.

2016-12-15 21:27:06 +00:00

BlockCounter.cpp

…

BugReporter.cpp

[analyzer] Don't add arrow to the inlined function's decl when it has no body.

2017-06-05 13:36:28 +00:00

BugReporterVisitors.cpp

[analyzer] Improve subscripting null arrays for catching null dereferences.

2017-04-24 20:55:07 +00:00

CallEvent.cpp

[analyzer] Fix a crash when an ObjC object is constructed in AllocaRegion.

2017-06-12 17:59:50 +00:00

Checker.cpp

…

CheckerContext.cpp

…

CheckerHelpers.cpp

…

CheckerManager.cpp

[analyzer] Add LocationContext as a parameter to checkRegionChanges

2017-01-13 00:50:57 +00:00

CheckerRegistry.cpp

[analyzer] Command line option to show enabled checker list.

2016-08-08 13:41:04 +00:00

CMakeLists.txt

[analyzer] Add new Z3 constraint manager backend

2017-04-04 19:52:25 +00:00

CommonBugCategories.cpp

[analyzer] Fix memory error bug category capitalization.

2017-05-03 11:47:13 +00:00

ConstraintManager.cpp

[analyzer] Refactor and simplify SimpleConstraintManager

2017-02-25 04:51:31 +00:00

CoreEngine.cpp

Silence Warning. NFC.

2016-10-07 19:11:33 +00:00

DynamicTypeMap.cpp

Spelling mistakes in comments. NFCI. (PR27635)

2017-03-30 14:13:19 +00:00

Environment.cpp

…

ExplodedGraph.cpp

[NFC] Header cleanup

2016-07-18 19:02:11 +00:00

ExprEngine.cpp

CFG: Add CFGElement for automatic variables that leave the scope

2017-07-12 07:04:19 +00:00

ExprEngineC.cpp

[analyzer] Fix logical not for pointers with different bit width

2017-06-19 08:55:51 +00:00

ExprEngineCallAndReturn.cpp

[StaticAnalyzer] Move inline counter increaser to inlineCall function

2017-05-16 11:54:00 +00:00

ExprEngineCXX.cpp

[analyzer] Enforce super-region classes for various memory regions.

2017-04-13 09:56:07 +00:00

ExprEngineObjC.cpp

[analyzer] Add LocationContext as a parameter to checkRegionChanges

2017-01-13 00:50:57 +00:00

FunctionSummary.cpp

…

HTMLDiagnostics.cpp

Migrate PathDiagnosticPiece to std::shared_ptr

2017-01-05 17:26:53 +00:00

IssueHash.cpp

[NFC] Header cleanup

2016-07-18 19:02:11 +00:00

LoopWidening.cpp

…

MemRegion.cpp

[analyzer] Enforce super-region classes for various memory regions.

2017-04-13 09:56:07 +00:00

PathDiagnostic.cpp

CFG: Add CFGElement for automatic variables that leave the scope

2017-07-12 07:04:19 +00:00

PlistDiagnostics.cpp

Migrate PathDiagnosticPiece to std::shared_ptr

2017-01-05 17:26:53 +00:00

PrettyStackTraceLocationContext.h

…

ProgramState.cpp

[analyzer] Fix immutable map factory lifetime for partial taint.

2017-05-29 18:54:02 +00:00

RangeConstraintManager.cpp

[analyzer] Refactor and simplify SimpleConstraintManager

2017-02-25 04:51:31 +00:00

RangedConstraintManager.cpp

[analyzer] Refactor and simplify SimpleConstraintManager

2017-02-25 04:51:31 +00:00

RangedConstraintManager.h

[analyzer] Refactor and simplify SimpleConstraintManager

2017-02-25 04:51:31 +00:00

RegionStore.cpp

[analyzer] Support partially tainted records.

2017-05-29 15:42:56 +00:00

SimpleConstraintManager.cpp

[analyzer] Refactor and simplify SimpleConstraintManager

2017-02-25 04:51:31 +00:00

SimpleSValBuilder.cpp

Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"

2017-07-12 21:43:42 +00:00

Store.cpp

[analyzer] Improve suppression for inlined defensive checks before operator &.

2017-04-24 19:30:33 +00:00

SubEngine.cpp

…

SValBuilder.cpp

Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"

2017-07-12 21:43:42 +00:00

SVals.cpp

[analyzer] Add a new SVal to support pointer-to-member operations.

2016-12-15 21:27:06 +00:00

SymbolManager.cpp

[analyzer] Print type for SymbolRegionValues when dumping to stream

2016-12-05 20:30:11 +00:00

Z3ConstraintManager.cpp

Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"

2017-07-12 21:43:42 +00:00