analyzer: Move gcc.dg/analyzer tests to c-c++-common (2) [PR96395]

Second batch of moving tests from under gcc.dg/analyzer into
c-c++-common/analyzer.

Prior to this patch the analyzer was not unwrapping ordering
binop_svalue, such as LT_EXPR, when evaluating conditions.

Therefore when an ordering conditional was stored, the analyzer
was missing out on some constraints, which led to false positives.

gcc/analyzer/ChangeLog:

	PR analyzer/96395
	* region-model.cc
	(region_model::add_constraints_from_binop): binop_svalues around
	LT_EXPR, LE_EXPR, GT_EXPR, GE_EXPR are now unwrapped.

gcc/testsuite/ChangeLog:

	PR analyzer/96395
	* gcc.dg/analyzer/allocation-size-1.c: Moved to...
	* c-c++-common/analyzer/allocation-size-1.c: ...here.
	* gcc.dg/analyzer/allocation-size-2.c: Moved to...
	* c-c++-common/analyzer/allocation-size-2.c: ...here.
	* gcc.dg/analyzer/allocation-size-3.c: Moved to...
	* c-c++-common/analyzer/allocation-size-3.c: ...here.
	* gcc.dg/analyzer/allocation-size-4.c: Moved to...
	* c-c++-common/analyzer/allocation-size-4.c: ...here.
	* gcc.dg/analyzer/analyzer-verbosity-0.c: Moved to...
	* c-c++-common/analyzer/analyzer-verbosity-0.c: ...here.
	* gcc.dg/analyzer/analyzer-verbosity-1.c: Moved to...
	* c-c++-common/analyzer/analyzer-verbosity-1.c: ...here.
	* gcc.dg/analyzer/analyzer-verbosity-2.c: Moved to...
	* c-c++-common/analyzer/analyzer-verbosity-2.c: ...here.
	* gcc.dg/analyzer/analyzer-verbosity-3.c: Moved to...
	* c-c++-common/analyzer/analyzer-verbosity-3.c: ...here.
	* gcc.dg/analyzer/attr-alloc_size-1.c: Moved to...
	* c-c++-common/analyzer/attr-alloc_size-1.c: ...here.
	* gcc.dg/analyzer/attr-alloc_size-2.c: Moved to...
	* c-c++-common/analyzer/attr-alloc_size-2.c: ...here.
	* gcc.dg/analyzer/call-summaries-malloc.c: Moved to...
	* c-c++-common/analyzer/call-summaries-malloc.c: ...here.
	* gcc.dg/analyzer/call-summaries-pr107158-2.c: Moved to...
	* c-c++-common/analyzer/call-summaries-pr107158-2.c: ...here.
	* gcc.dg/analyzer/capacity-1.c: Moved to...
	* c-c++-common/analyzer/capacity-1.c: ...here.
	* gcc.dg/analyzer/dot-output.c: Moved to...
	* c-c++-common/analyzer/dot-output.c: ...here.
	* gcc.dg/analyzer/escaping-1.c: Moved to...
	* c-c++-common/analyzer/escaping-1.c: ...here.
	* gcc.dg/analyzer/expect-1.c: Moved to...
	* c-c++-common/analyzer/expect-1.c: ...here.
	* gcc.dg/analyzer/fgets-1.c: Moved to...
	* c-c++-common/analyzer/fgets-1.c: ...here.
	* gcc.dg/analyzer/file-uninit-1.c: Moved to...
	* c-c++-common/analyzer/file-uninit-1.c: ...here.
	* gcc.dg/analyzer/fileno-1.c: Moved to...
	* c-c++-common/analyzer/fileno-1.c: ...here.
	* gcc.dg/analyzer/first-field-1.c: Moved to...
	* c-c++-common/analyzer/first-field-1.c: ...here.
	* gcc.dg/analyzer/first-field-2.c: Moved to...
	* c-c++-common/analyzer/first-field-2.c: ...here.
	* gcc.dg/analyzer/flex-with-call-summaries.c: Moved to...
	* c-c++-common/analyzer/flex-with-call-summaries.c: ...here.
	* gcc.dg/analyzer/flex-without-call-summaries.c: Moved to...
	* c-c++-common/analyzer/flex-without-call-summaries.c: ...here.
	* gcc.dg/analyzer/flexible-array-member-1.c: Moved to...
	* c-c++-common/analyzer/flexible-array-member-1.c: ...here.
	* gcc.dg/analyzer/fold-string-to-char.c: Moved to...
	* c-c++-common/analyzer/fold-string-to-char.c: ...here.
	* gcc.dg/analyzer/fread-1.c: Moved to...
	* c-c++-common/analyzer/fread-1.c: ...here.
	* gcc.dg/analyzer/fread-2.c: Moved to...
	* c-c++-common/analyzer/fread-2.c: ...here.
	* gcc.dg/analyzer/fread-pr108661.c: Moved to...
	* c-c++-common/analyzer/fread-pr108661.c: ...here.
	* gcc.dg/analyzer/function-ptr-1.c: Moved to...
	* c-c++-common/analyzer/function-ptr-1.c: ...here.
	* gcc.dg/analyzer/function-ptr-2.c: Moved to...
	* c-c++-common/analyzer/function-ptr-2.c: ...here.
	* gcc.dg/analyzer/function-ptr-3.c: Moved to...
	* c-c++-common/analyzer/function-ptr-3.c: ...here.
	* gcc.dg/analyzer/function-ptr-4.c: Moved to...
	* c-c++-common/analyzer/function-ptr-4.c: ...here.
	* gcc.dg/analyzer/getc-1.c: Moved to...
	* c-c++-common/analyzer/getc-1.c: ...here.
	* gcc.dg/analyzer/getchar-1.c: Moved to...
	* c-c++-common/analyzer/getchar-1.c: ...here.
	* gcc.dg/analyzer/gzio-2.c: Moved to...
	* c-c++-common/analyzer/gzio-2.c: ...here.
	* gcc.dg/analyzer/gzio-3.c: Moved to...
	* c-c++-common/analyzer/gzio-3.c: ...here.
	* gcc.dg/analyzer/gzio-3a.c: Moved to...
	* c-c++-common/analyzer/gzio-3a.c: ...here.
	* gcc.dg/analyzer/gzio.c: Moved to...
	* c-c++-common/analyzer/gzio.c: ...here.
	* gcc.dg/analyzer/imprecise-floating-point-1.c: Moved to...
	* c-c++-common/analyzer/imprecise-floating-point-1.c: ...here.
	* gcc.dg/analyzer/infinite-recursion-2.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion-2.c: ...here.
	* gcc.dg/analyzer/infinite-recursion-3.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion-3.c: ...here.
	* gcc.dg/analyzer/infinite-recursion-4-limited-buggy.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion-4-limited-buggy.c: ...here.
	* gcc.dg/analyzer/infinite-recursion-4-limited.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion-4-limited.c: ...here.
	* gcc.dg/analyzer/infinite-recursion-4-unlimited-buggy.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion-4-unlimited-buggy.c: ...here.
	* gcc.dg/analyzer/infinite-recursion-4-unlimited.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion-4-unlimited.c: ...here.
	* gcc.dg/analyzer/infinite-recursion-5.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion-5.c: ...here.
	* gcc.dg/analyzer/infinite-recursion-alloca.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion-alloca.c: ...here.
	* gcc.dg/analyzer/infinite-recursion-inlining.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion-inlining.c: ...here.
	* gcc.dg/analyzer/infinite-recursion-multiline-1.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion-multiline-1.c: ...here.
	* gcc.dg/analyzer/infinite-recursion-multiline-2.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion-multiline-2.c: ...here.
	* gcc.dg/analyzer/infinite-recursion-pr108935-1.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion-pr108935-1.c: ...here.
	* gcc.dg/analyzer/infinite-recursion-pr108935-1a.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion-pr108935-1a.c: ...here.
	* gcc.dg/analyzer/infinite-recursion-pr108935-2.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion-pr108935-2.c: ...here.
	* gcc.dg/analyzer/infinite-recursion-variadic.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion-variadic.c: ...here.
	* gcc.dg/analyzer/infinite-recursion.c: Moved to...
	* c-c++-common/analyzer/infinite-recursion.c: ...here.
	* gcc.dg/analyzer/inlining-1-multiline.c: Moved to...
	* c-c++-common/analyzer/inlining-1-multiline.c: ...here.
	* gcc.dg/analyzer/inlining-1-no-undo.c: Moved to...
	* c-c++-common/analyzer/inlining-1-no-undo.c: ...here.
	* gcc.dg/analyzer/inlining-2-multiline.c: Moved to...
	* c-c++-common/analyzer/inlining-2-multiline.c: ...here.
	* gcc.dg/analyzer/inlining-5-multiline.c: Moved to...
	* c-c++-common/analyzer/inlining-5-multiline.c: ...here.
	* gcc.dg/analyzer/inlining-6-multiline.c: Moved to...
	* c-c++-common/analyzer/inlining-6-multiline.c: ...here.
	* gcc.dg/analyzer/inlining-6.c: Moved to...
	* c-c++-common/analyzer/inlining-6.c: ...here.
	* gcc.dg/analyzer/inlining-7-multiline.c: Moved to...
	* c-c++-common/analyzer/inlining-7-multiline.c: ...here.
	* gcc.dg/analyzer/invalid-shift-1.c: Moved to...
	* c-c++-common/analyzer/invalid-shift-1.c: ...here.
	* gcc.dg/analyzer/isatty-1.c: Moved to...
	* c-c++-common/analyzer/isatty-1.c: ...here.
	* gcc.dg/analyzer/leak-2.c: Moved to...
	* c-c++-common/analyzer/leak-2.c: ...here.
	* gcc.dg/analyzer/leak-3.c: Moved to...
	* c-c++-common/analyzer/leak-3.c: ...here.
	* gcc.dg/analyzer/leak-4.c: Moved to...
	* c-c++-common/analyzer/leak-4.c: ...here.
	* gcc.dg/analyzer/loop-0-up-to-n-by-1-with-iter-obj.c: Moved to...
	* c-c++-common/analyzer/loop-0-up-to-n-by-1-with-iter-obj.c: ...here.
	* gcc.dg/analyzer/loop-0-up-to-n-by-1.c: Moved to...
	* c-c++-common/analyzer/loop-0-up-to-n-by-1.c: ...here.
	* gcc.dg/analyzer/loop-2.c: Moved to...
	* c-c++-common/analyzer/loop-2.c: ...here.
	* gcc.dg/analyzer/loop-2a.c: Moved to...
	* c-c++-common/analyzer/loop-2a.c: ...here.
	* gcc.dg/analyzer/loop-3.c: Moved to...
	* c-c++-common/analyzer/loop-3.c: ...here.
	* gcc.dg/analyzer/loop-4.c: Moved to...
	* c-c++-common/analyzer/loop-4.c: ...here.
	* gcc.dg/analyzer/loop-n-down-to-1-by-1.c: Moved to...
	* c-c++-common/analyzer/loop-n-down-to-1-by-1.c: ...here.
	* gcc.dg/analyzer/loop-start-down-to-end-by-1.c: Moved to...
	* c-c++-common/analyzer/loop-start-down-to-end-by-1.c: ...here.
	* gcc.dg/analyzer/loop-start-down-to-end-by-step.c: Moved to...
	* c-c++-common/analyzer/loop-start-down-to-end-by-step.c: ...here.
	* gcc.dg/analyzer/loop-start-to-end-by-step.c: Moved to...
	* c-c++-common/analyzer/loop-start-to-end-by-step.c: ...here.
	* gcc.dg/analyzer/loop-start-up-to-end-by-1.c: Moved to...
	* c-c++-common/analyzer/loop-start-up-to-end-by-1.c: ...here.
	* gcc.dg/analyzer/loop.c: Moved to...
	* c-c++-common/analyzer/loop.c: ...here.
	* gcc.dg/analyzer/malloc-3.c: Moved to...
	* c-c++-common/analyzer/malloc-3.c: ...here.
	* gcc.dg/analyzer/malloc-5.c: Moved to...
	* c-c++-common/analyzer/malloc-5.c: ...here.
	* gcc.dg/analyzer/malloc-CWE-401-example.c: Moved to...
	* c-c++-common/analyzer/malloc-CWE-401-example.c: ...here.
	* gcc.dg/analyzer/malloc-CWE-415-examples.c: Moved to...
	* c-c++-common/analyzer/malloc-CWE-415-examples.c: ...here.
	* gcc.dg/analyzer/malloc-CWE-416-examples.c: Moved to...
	* c-c++-common/analyzer/malloc-CWE-416-examples.c: ...here.
	* gcc.dg/analyzer/malloc-CWE-590-examples.c: Moved to...
	* c-c++-common/analyzer/malloc-CWE-590-examples.c: ...here.
	* gcc.dg/analyzer/malloc-callbacks.c: Moved to...
	* c-c++-common/analyzer/malloc-callbacks.c: ...here.
	* gcc.dg/analyzer/malloc-dce.c: Moved to...
	* c-c++-common/analyzer/malloc-dce.c: ...here.
	* gcc.dg/analyzer/malloc-dedupe-1.c: Moved to...
	* c-c++-common/analyzer/malloc-dedupe-1.c: ...here.
	* gcc.dg/analyzer/malloc-in-loop.c: Moved to...
	* c-c++-common/analyzer/malloc-in-loop.c: ...here.
	* gcc.dg/analyzer/malloc-ipa-1.c: Moved to...
	* c-c++-common/analyzer/malloc-ipa-1.c: ...here.
	* gcc.dg/analyzer/malloc-ipa-11.c: Moved to...
	* c-c++-common/analyzer/malloc-ipa-11.c: ...here.
	* gcc.dg/analyzer/malloc-ipa-2.c: Moved to...
	* c-c++-common/analyzer/malloc-ipa-2.c: ...here.
	* gcc.dg/analyzer/malloc-ipa-3.c: Moved to...
	* c-c++-common/analyzer/malloc-ipa-3.c: ...here.
	* gcc.dg/analyzer/malloc-ipa-4.c: Moved to...
	* c-c++-common/analyzer/malloc-ipa-4.c: ...here.
	* gcc.dg/analyzer/malloc-ipa-5.c: Moved to...
	* c-c++-common/analyzer/malloc-ipa-5.c: ...here.
	* gcc.dg/analyzer/malloc-ipa-6.c: Moved to...
	* c-c++-common/analyzer/malloc-ipa-6.c: ...here.
	* gcc.dg/analyzer/malloc-ipa-7.c: Moved to...
	* c-c++-common/analyzer/malloc-ipa-7.c: ...here.
	* gcc.dg/analyzer/malloc-ipa-8-unchecked.c: Moved to...
	* c-c++-common/analyzer/malloc-ipa-8-unchecked.c: ...here.
	* gcc.dg/analyzer/malloc-macro-inline-events.c: Moved to...
	* c-c++-common/analyzer/malloc-macro-inline-events.c: ...here.
	* gcc.dg/analyzer/malloc-macro-separate-events.c: Moved to...
	* c-c++-common/analyzer/malloc-macro-separate-events.c: ...here.
	* gcc.dg/analyzer/malloc-macro.h: Moved to...
	* c-c++-common/analyzer/malloc-macro.h: ...here.
	* gcc.dg/analyzer/null-deref-pr108400-SoftEtherVPN-WebUi.c: Moved to...
	* c-c++-common/analyzer/null-deref-pr108400-SoftEtherVPN-WebUi.c: ...here.
	* gcc.dg/analyzer/out-of-bounds-1.c: Moved to...
	* c-c++-common/analyzer/out-of-bounds-1.c: ...here.
	* gcc.dg/analyzer/out-of-bounds-2.c: Moved to...
	* c-c++-common/analyzer/out-of-bounds-2.c: ...here.
	* gcc.dg/analyzer/out-of-bounds-5.c: Moved to...
	* c-c++-common/analyzer/out-of-bounds-5.c: ...here.
	* gcc.dg/analyzer/out-of-bounds-diagram-11.c: Moved to...
	* c-c++-common/analyzer/out-of-bounds-diagram-11.c: ...here.
	* gcc.dg/analyzer/out-of-bounds-diagram-3.c: Moved to...
	* c-c++-common/analyzer/out-of-bounds-diagram-3.c: ...here.
	* gcc.dg/analyzer/out-of-bounds-diagram-8.c: Moved to...
	* c-c++-common/analyzer/out-of-bounds-diagram-8.c: ...here.
	* gcc.dg/analyzer/phi-1.c: Moved to...
	* c-c++-common/analyzer/phi-1.c: ...here.
	* gcc.dg/analyzer/pr100615.c: Moved to...
	* c-c++-common/analyzer/pr100615.c: ...here.
	* gcc.dg/analyzer/pr103526.c: Moved to...
	* c-c++-common/analyzer/pr103526.c: ...here.
	* gcc.dg/analyzer/pr94362-1.c: Moved to...
	* c-c++-common/analyzer/pr94362-1.c: ...here.
	* gcc.dg/analyzer/pr97074.c: Moved to...
	* c-c++-common/analyzer/pr97074.c: ...here.
	* c-c++-common/analyzer/pr99193-2.c: Added include.
	* c-c++-common/analyzer/realloc-1.c: Added include.
	* gcc.dg/analyzer/scope-1.c: Moved to...
	* c-c++-common/analyzer/scope-1.c: ...here.
	* gcc.dg/analyzer/setjmp-2.c: Moved to...
	* c-c++-common/analyzer/setjmp-2.c: ...here.
	* gcc.dg/analyzer/setjmp-5.c: Moved to...
	* c-c++-common/analyzer/setjmp-5.c: ...here.
	* gcc.dg/analyzer/setjmp-9.c: Moved to...
	* c-c++-common/analyzer/setjmp-9.c: ...here.
	* gcc.dg/analyzer/signal-4a.c: Moved to...
	* c-c++-common/analyzer/signal-4a.c: ...here.
	* gcc.dg/analyzer/signal-4b.c: Moved to...
	* c-c++-common/analyzer/signal-4b.c: ...here.
	* gcc.dg/analyzer/file-pr58237.c: C only.
	* gcc.dg/analyzer/fopen-1.c: C only.
	* gcc.dg/analyzer/malloc-4.c: C only.
	* gcc.dg/analyzer/malloc-paths-9.c: C only.
	* gcc.dg/analyzer/pr103892.c: C only.
	* gcc.dg/analyzer/pr109577.c: C only.
	* gcc.dg/analyzer/pr93355-localealias-feasibility.c: C only.
	* gcc.dg/analyzer/pr99193-1.c: C only.
	* gcc.dg/analyzer/compound-assignment-1.c: Removed.
	* gcc.dg/analyzer/inlining-1.c: Removed.
	* gcc.dg/analyzer/inlining-2.c: Removed.
	* gcc.dg/analyzer/inlining-5.c: Removed.
	* gcc.dg/analyzer/inlining-7.c: Removed.
	* c-c++-common/analyzer/compound-assignment-1.c: New test.
	* c-c++-common/analyzer/file-pr58237-noexcept.c: Duplicate of
	gcc.dg/analyzer/file-pr58237.c with exceptions disabled.
	* c-c++-common/analyzer/fopen-2.c: C++ compatible parts from
	gcc.dg/analyzer/fopen-1.c.
	* c-c++-common/analyzer/inlining-1.c: New test.
	* c-c++-common/analyzer/inlining-2.c: New test.
	* c-c++-common/analyzer/inlining-5.c: New test.
	* c-c++-common/analyzer/inlining-7.c: New test.
	* c-c++-common/analyzer/malloc-paths-9-noexcept.c: Duplicate of
	gcc.dg/analyzer/malloc-paths-9.c with exceptions disabled.
	* c-c++-common/analyzer/pr109577-noexcept.c: Duplicate of
	gcc.dg/analyzer/pr109577.c with exceptions disabled.
	* c-c++-common/analyzer/pr93355-localealias-feasibility-noexcept.c:
	Duplicate of gcc.dg/analyzer/pr93355-localealias-feasibility.c with
	exceptions disabled.
	* c-c++-common/analyzer/pr99193-1-noexcept.c: Duplicate of
	gcc.dg/analyzer/pr99193-1.c with exceptions disabled.

Signed-off-by: benjamin priour <vultkayn@gcc.gnu.org>

1 files changed, 4 insertions, 0 deletions

diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc
index a351e5c..da1ec7c 100644
--- a/gcc/analyzer/region-model.cc
+++ b/gcc/analyzer/region-model.cc
@@ -4458,6 +4458,10 @@ region_model::add_constraints_from_binop (const svalue *outer_lhs,
 
     case EQ_EXPR:
     case NE_EXPR:
+    case GE_EXPR:
+    case GT_EXPR:
+    case LE_EXPR:
+    case LT_EXPR:
       {
 	/* ...and "(inner_lhs OP inner_rhs) == 0"
 	   then (inner_lhs OP inner_rhs) must have the same