projects / platform / upstream / SPIRV-Tools.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1ceff9) | patch
Fix #1034 - Give Edge::operator<() weak ordering semantics.
authorDiego Novillo <dnovillo@google.com>
Wed, 29 Nov 2017 18:36:17 +0000 (13:36 -0500)
committerDiego Novillo <dnovillo@google.com>
Wed, 29 Nov 2017 22:29:17 +0000 (17:29 -0500)
commit8cfa0c40e0afd5b6fcbedf622fd45afd2de2a055
tree8c8f98832eff7c76e71f412e450687ebb3488b1ctree | snapshot
parente1ceff9f54483d2abecd9a0e656cbc2339f60115commit | diff
Fix #1034 - Give Edge::operator<() weak ordering semantics.

This should fix #1034.  It changes the predicate on operator< to use
label IDs from each block and compares them as std:pair to define a weak
ordering for std::set.
source/opt/propagator.h diff | blob | history
Domain: Graphics System / GL;