parent
9ec27c112f
commit
bb5cad42cd
|
@ -238,13 +238,11 @@ public:
|
||||||
mVariableContracts[var] = Settings::VariableContracts{min.toStdString(), max.toStdString()};
|
mVariableContracts[var] = Settings::VariableContracts{min.toStdString(), max.toStdString()};
|
||||||
}
|
}
|
||||||
|
|
||||||
void deleteFunctionContract(QString function)
|
void deleteFunctionContract(QString function) {
|
||||||
{
|
|
||||||
mFunctionContracts.erase(function.toStdString());
|
mFunctionContracts.erase(function.toStdString());
|
||||||
}
|
}
|
||||||
|
|
||||||
void deleteVariableContract(QString var)
|
void deleteVariableContract(QString var) {
|
||||||
{
|
|
||||||
mVariableContracts.erase(var);
|
mVariableContracts.erase(var);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -4160,7 +4160,7 @@ static void insertImpossible(std::list<ValueFlow::Value>& values, const std::lis
|
||||||
|
|
||||||
static void insertNegateKnown(std::list<ValueFlow::Value>& values, const std::list<ValueFlow::Value>& input)
|
static void insertNegateKnown(std::list<ValueFlow::Value>& values, const std::list<ValueFlow::Value>& input)
|
||||||
{
|
{
|
||||||
for(ValueFlow::Value value:input) {
|
for (ValueFlow::Value value:input) {
|
||||||
if (!value.isIntValue() && !value.isContainerSizeValue())
|
if (!value.isIntValue() && !value.isContainerSizeValue())
|
||||||
continue;
|
continue;
|
||||||
value.intvalue = !value.intvalue;
|
value.intvalue = !value.intvalue;
|
||||||
|
|
Loading…
Reference in New Issue